Beyersdorff, Olaf

Recent Publications

Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution
Beyersdorff, Olaf, Blinkhorn, Joshua, Mahajan, Meena, Tomas Peitl
ACM Transactions on Computational Logic, sep 2022, Association for Computing Machinery.
Cite DOI