The following publications are possibly variants of this publication:
- 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]
- Understanding Nullstellensatz for QBFsSravanthi Chede, Leroy Chew, Balesh Kumar, Anil Shukla. eccc, TR23, 2023. [doi]
- Understanding Gentzen and Frege Systems for QBFOlaf Beyersdorff, Ján Pich. lics 2016: 146-155 [doi]
- Understanding Gentzen and Frege systems for QBFOlaf Beyersdorff, Ján Pich. eccc, 23:11, 2016. [doi]
- Understanding the Relative Strength of QBF CDCL Solvers and QBF ResolutionOlaf Beyersdorff, Benjamin Böhm. innovations 2021: [doi]
- 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]