Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers.

Steffen Hlldobler, Norbert Manthey, Tobias Philipp, Peter Steinke

Browse the full SAT paper archive.