Abstract
Benjamin Böhm, Tom'a\vs 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), pages 1781-1787, 2022, ijcai.org. (Note: Distinguished Paper Award)
Type
Tomas Peitl
Tomáš Peitl is a Project Assistant at the Algorithms and Complexity Group.