We review current SAT solving, concentrating on the two paradigms of conflict-driven and look-ahead solvers, and with a view towards the unification of these two paradigms. A general "modern" scheme for DPLL algorithms is presented, which allows natural representations for "modern" solvers of these two types. © 2008 Springer Berlin Heidelberg.
CITATION STYLE
Kullmann, O. (2008). Present and future of practical SAT solving. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5250 LNCS, pp. 283–319). https://doi.org/10.1007/978-3-540-92800-3_11
Mendeley helps you to discover research relevant for your work.