QCDCL with Cube Learning or Pure Literal Elimination - What is Best?

Böhm, Benjamin; Peitl, Tomáš; Beyersdorff, Olaf

doi:10.24963/ijcai.2022/248

by Benjamin Böhm, Tomáš Peitl, Olaf Beyersdorff

Reference:

QCDCL with Cube Learning or Pure Literal Elimination - What is Best?Benjamin Böhm, Tomáš Peitl, Olaf BeyersdorffProceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022 (Luc De Raedt, ed.), pages 1781–1787, 2022, ijcai.org.Note: Distinguished Paper Award

Bibtex Entry:

@inproceedings{BeyersdorffBohmPeitl22a,
  author    = {Benjamin B{\"{o}}hm and
               Tom{\'{a}}{\v{s}} Peitl and
               Olaf Beyersdorff},
  editor    = {Luc De Raedt},
  title     = {{QCDCL} with Cube Learning or Pure Literal Elimination - What is Best?},
  booktitle = {Proceedings of the Thirty-First International Joint Conference on
               Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
               2022},
  pages     = {1781--1787},
  publisher = {ijcai.org},
  year      = {2022},
  url       = {10.24963/ijcai.2022/248">https://doi.org/10.24963/ijcai.2022/248},
  doi       = {10.24963/ijcai.2022/248},
  timestamp = {Wed, 27 Jul 2022 16:43:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/0001PB22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  note      = {Distinguished Paper Award}
}