Should Decisions in QCDCL Follow Prefix Order?

Benjamin B{ö}hm, Tomas Peitl, Olaf Beyersdorff
January 2024
PDF bib DOI

Abstract

Full Citation:

Benjamin Böhm, Tom'a\vs Peitl, Olaf Beyersdorff. Should Decisions in QCDCL Follow Prefix Order?. J. Autom. Reason., volume 68, number 1, pages 5, 2024.

Type
Journal Article
Tomas Peitl
Tomas Peitl

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