@article{BohmPeitlBeyersdorff24,
 author = {Benjamin B{ö}hm and
Tom{\'{a}}{\v{s}} Peitl and
Olaf Beyersdorff},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/journals/ai/BohmPB24.bib},
 doi = {10.1016/J.ARTINT.2024.104194},
 journal = {Artif. Intell.},
 pages = {104194},
 timestamp = {Sun, 08 Sep 2024 16:07:18 +0200},
 title = {{QCDCL} with cube learning or pure literal elimination - What is best?},
 url = {https://doi.org/10.1016/j.artint.2024.104194},
 volume = {336},
 year = {2024}
}