The following publications are possibly variants of this publication:
- Understanding the Relative Strength of QBF CDCL Solvers and QBF ResolutionOlaf Beyersdorff, Benjamin Böhm 0001. lmcs, 19(2), 2023. [doi]
- Understanding the Relative Strength of QBF CDCL Solvers and QBF ResolutionOlaf Beyersdorff, Benjamin Böhm. eccc, 27:53, 2020. [doi]
- Understanding Cutting Planes for QBFsOlaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla. fsttcs 2016: [doi]
- Understanding cutting planes for QBFsOlaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla. iandc, 262(Part):141-161, 2018. [doi]
- Understanding Cutting Planes for QBFsOlaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla. eccc, 24:37, 2017. [doi]
- Hard QBFs for Merge ResolutionOlaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl, Gaurav Sood. fsttcs 2020: [doi]