Vol-1144⫷ Vol-1145 ⫸Vol-1146
urn:nbn:de:0074-1145-0


Vol-1145/paper2⫷Vol-1145/paper3⫸Vol-1145/paper4
Norbert MantheySteffen HölldoblerTobias PhilippPeter Steinke

Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers