activity
20092026
most citedTowards Understanding and Harnessing the Potential of Clause Learning

291 citations · 310 across the 5 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

Extending CDCL to disjunctions of parity equations

Paul Beame, Glenn Sun

Because CDCL produces proofs in the Resolution proof system, problems provably hard for Resolution are also provably hard for CDCL. Exponentially shorter proofs can sometimes be fo…