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

Abstract

Full Citation:

Benjamin Böhm, Tomáš Peitl, Olaf Beyersdorff. QCDCL with Cube Learning or Pure Literal Elimination - What is Best?. Proceedings 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)

Tomas Peitl

Tomáš Peitl is a Project Assistant at the Algorithms and Complexity Group.