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'a\vs 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 and Ofer Strichman), 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.