Sciweavers

IJCAI
1997

Ten Challenges in Propositional Reasoning and Search

14 years 16 days ago
Ten Challenges in Propositional Reasoning and Search
The past several years have seen much progress in the area of propositional reasoning and satisfiability testing. There is a growing consensus by researchers on the key technical challenges that need to be addressed in order to maintain this momentum. This paper outlines concrete technical challenges in the core areas of systematic search, stochastic search, problem encodings, and criteria for evaluating progress in this area.
Bart Selman, Henry A. Kautz, David A. McAllester
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1997
Where IJCAI
Authors Bart Selman, Henry A. Kautz, David A. McAllester
Comments (0)