Beyersdorff, Olaf

Recent Publications

Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution

2022