2 search results - page 1 / 1 » Ten Challenges Redux: Recent Progress in Propositional Reaso... |
77
Voted
CP
2003
Springer
15 years 2 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
14 years 10 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 ...