Should Decisions in QCDCL Follow Prefix Order?

Benjamin Bhm, Toms Peitl, Olaf Beyersdorff

Browse the full SAT paper archive.