Benjamin Böhm 0001, Tomás Peitl, Olaf Beyersdorff. Should decisions in QCDCL follow prefix order?. Electronic Colloquium on Computational Complexity (ECCC), TR22, 2022. [doi]
@article{0001PB22,
title = {Should decisions in QCDCL follow prefix order?},
author = {Benjamin Böhm 0001 and Tomás Peitl and Olaf Beyersdorff},
year = {2022},
url = {https://eccc.weizmann.ac.il/report/2022/040},
researchr = {https://researchr.org/publication/0001PB22},
cites = {0},
citedby = {0},
journal = {Electronic Colloquium on Computational Complexity (ECCC)},
volume = {TR22},
}