Matthew D. T. Lewis Tobias Schubert Bernd Becker Early Conflict Detection Based BCP for SAT Solving. 2004 conf/sat/2004 SAT http://www.satisfiability.org/SAT04/programme/22.pdf db/conf/sat/sat2004.html#LewisSB04