2 search results - page 1 / 1 » Ten Challenges Redux: Recent Progress in Propositional Reaso... |
CP
2003
Springer
13 years 10 months ago
2003
Springer
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 o...
IJCAI
1997
13 years 6 months ago
1997
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 ...