In 1997 we presented ten challenges for research on satisfiability testing [1], In this paper we review recent progress towards each of these challenges, including our own work on the power of clause learning and randomized restart policies. © Springer-Verlag 2003.
CITATION STYLE
Kautz, H., & Selman, B. (2003). Ten challenges redux: Recent progress in propositional reasoning and search. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2833, 1–18. https://doi.org/10.1007/978-3-540-45193-8_1
Mendeley helps you to discover research relevant for your work.