by Benjamin Böhm, Tomáš Peitl, Olaf Beyersdorff
Reference:
Should Decisions in QCDCL Follow Prefix Order?Benjamin Böhm, Tomáš Peitl, Olaf Beyersdorff25th 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.
Bibtex Entry:
@string{lipics="LIPIcs"}
@inproceedings{BeyersdorffBohmPeitl22,
author = {Benjamin B{\"{o}}hm and
Tom{\'{a}}{\v{s}} Peitl and
Olaf Beyersdorff},
editor = {Kuldeep S. Meel and
Ofer Strichman},
title = {Should Decisions in {QCDCL} Follow Prefix Order?},
booktitle = {25th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {236},
pages = {11:1--11:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {10.4230/LIPIcs.SAT.2022.11">https://doi.org/10.4230/LIPIcs.SAT.2022.11},
doi = {10.4230/LIPIcs.SAT.2022.11},
timestamp = {Thu, 28 Jul 2022 17:31:18 +0200},
biburl = {https://dblp.org/rec/conf/sat/0001PB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}