Böhm, Benjamin

3 publications

JAIR 2024 QCDCL vs QBF Resolution: Further Insights Benjamin Böhm, Olaf Beyersdorff

AAAI 2024 Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs Olaf Beyersdorff, Benjamin Böhm, Meena Mahajan

IJCAI 2022 QCDCL with Cube Learning or Pure Literal Elimination - What Is Best? Benjamin Böhm, Tomás Peitl, Olaf Beyersdorff