Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search

Abstract. 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.

• Type: Conference
• Year: 2003
• Where: CP
• Authors: Henry A. Kautz, Bart Selman
• Keywords: Clause Learning, CP 2003, Programming Languages, Restart Policies, Satisfiability Testing