Ten Challenges in Propositional Reasoning and Search

Selman, Bart; Kautz, Henry A.; McAllester, David A.

Ten Challenges in Propositional Reasoning and Search

Bart Selman, Henry A. Kautz, David A. McAllester

Download BibTeX Cite

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. AI Challenges. Pages 50-53.

Abstract

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, and David A. McAllester. 1997. Ten Challenges in Propositional Reasoning and Search. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97. IJCAI, 50–53. https://ijcai.org/proceedings/1997/8

@inproceedings{ijcai1997p8,
  title     = {Ten Challenges in Propositional Reasoning and Search},
  author    = {Selman, Bart and Kautz, Henry A. and McAllester, David A.},
  booktitle = {Proceedings of the Fifteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-97}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Martha E. Pollack},
  pages     = {50--53},
  year      = {1997},
  note      = {AI Challenges},
  url       = {https://ijcai.org/proceedings/1997/8},
}

TY  - CPAPER
TI  - Ten Challenges in Propositional Reasoning and Search
AU  - Selman, Bart
AU  - Kautz, Henry A.
AU  - McAllester, David A.
T2  - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1997
SP  - 50
EP  - 53
UR  - https://ijcai.org/proceedings/1997/8
ER  -