5 search results - page 1 / 1 » Ten Challenges in Propositional Reasoning and Search |
105
click to vote
IJCAI
1997
15 years 28 days 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 ...
CP
2003
Springer
15 years 4 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...
103
Voted
C3S2E
2010
ACM
15 years 21 days ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
ICTAI
2008
IEEE
15 years 6 months ago
2008
IEEE
Handling redundancy in propositional reasoning and search is an active path of theoretical research. For instance, the complexity of some redundancy-related problems for CNF formu...
JAIR
2010
14 years 10 months ago
2010
Narrative, and in particular storytelling, is an important part of the human experience. Consequently, computational systems that can reason about narrative can be more effective...