Olaf Beyersdorff

Recent Publications

Hard QBFs for Merge Resolution
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomas Peitl, Gaurav Sood
ACM Trans. Comput. Theory, volume 16, number 2, pages 6:1-6:24, 2024.
PDF bib DOI
QCDCL with cube learning or pure literal elimination - What is best?
Benjamin B{ö}hm, Tomas Peitl, Olaf Beyersdorff
Artif. Intell., volume 336, pages 104194, 2024.
PDF bib DOI
Should Decisions in QCDCL Follow Prefix Order?
Benjamin B{ö}hm, Tomas Peitl, Olaf Beyersdorff
J. Autom. Reason., volume 68, number 1, pages 5, 2024.
PDF bib DOI
QCDCL with Cube Learning or Pure Literal Elimination - What is Best?
Benjamin B{ö}hm, Tomas Peitl, Olaf Beyersdorff
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022 (Luc De Raedt), pages 1781-1787, 2022, ijcai.org.
Note: Distinguished Paper Award
PDF bib DOI
Should Decisions in QCDCL Follow Prefix Order?
Benjamin B{ö}hm, Tomas Peitl, Olaf Beyersdorff
25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel (Kuldeep S. Meel and Ofer Strichman), volume 236 of LIPIcs, pages 11:1-11:19, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
PDF bib DOI