Early Conflict Detection Based BCP for SAT Solving.

Matthew D. T. Lewis, Tobias Schubert, Bernd Becker

Browse the full SAT paper archive.