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

Abstract

Full Citation:

Benjamin Böhm, Tom'a\vs Peitl, Olaf Beyersdorff. QCDCL with cube learning or pure literal elimination - What is best?. Artif. Intell., volume 336, pages 104194, 2024.

Tomas Peitl

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