Benjamin Böhm 0001, Tomás Peitl, Olaf Beyersdorff. Should Decisions in QCDCL Follow Prefix Order?. In Kuldeep S. Meel, Ofer Strichman, editors, 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel. Volume 236 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
Abstract is missing.