Renato Bruni Andrea Santori Adding a New Conflict Based Branching Heuristic in two Evolved DPLL SAT Solvers. 2004 conf/sat/2004 SAT http://www.satisfiability.org/SAT04/programme/103.pdf db/conf/sat/sat2004.html#BruniS04