@inproceedings{BeyersdorffBohmPeitl22a,
 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/conf/ijcai/0001PB22.bib},
 booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
 doi = {10.24963/ijcai.2022/248},
 editor = {Luc De Raedt},
 note = {Distinguished Paper Award},
 pages = {1781--1787},
 publisher = {ijcai.org},
 timestamp = {Wed, 27 Jul 2022 16:43:00 +0200},
 title = {{QCDCL} with Cube Learning or Pure Literal Elimination - What is Best?},
 url = {https://doi.org/10.24963/ijcai.2022/248},
 year = {2022}
}