Should Decisions in QCDCL Follow Prefix Order?

Benjamin Böhm, Tomas Peitl, Olaf Beyersdorff
January 2022
PDF bib DOI

Abstract

Full Citation:

Benjamin Böhm, Tomáš Peitl, Olaf Beyersdorff. Should Decisions in QCDCL Follow Prefix Order?. 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel (Kuldeep S. Meel, Ofer Strichman, eds.), volume 236 of LIPIcs, pages 11:1–11:19, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Type
Conference Paper
Tomas Peitl
Tomas Peitl

Tomáš Peitl is a Project Assistant at the Algorithms and Complexity Group.