Extending CDCL to Disjunctions of Parity Equations.

Paul Beame, Glenn Sun

Browse the full SAT paper archive.