Olaf Beyersdorff

2PUBLICATIONS
0CO-AUTHORS
Data structures and algorithms
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

|Jan 24, 2022
Proof Complexity of Modal Resolution.

Sarah Sigley, Olaf Beyersdorff

|Jan 25, 2021
Building Strategies into QBF Proofs.

Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan

Pageof 1

Frequent Collaborators