QCDCL with cube learning or pure literal elimination - What is best?

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

doi:10.1016/J.ARTINT.2024.104194

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 BeyersdorffArtif. Intell., volume 336, pages 104194, 2024.

Bibtex Entry:

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