ML Anthology

Ten Challenges in Propositional Reasoning and Search

Bart Selman, Henry A. Kautz, David A. McAllester
IJCAI 1997 pp. 50-54
/ijcai/1997/selman1997ijcai-ten/
PDF IJCAI Semantic Scholar

Cite

Text

Selman et al. "Ten Challenges in Propositional Reasoning and Search." International Joint Conference on Artificial Intelligence, 1997.

Markdown

[Selman et al. "Ten Challenges in Propositional Reasoning and Search." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/selman1997ijcai-ten/)

BibTeX

@inproceedings{selman1997ijcai-ten,
  title     = {{Ten Challenges in Propositional Reasoning and Search}},
  author    = {Selman, Bart and Kautz, Henry A. and McAllester, David A.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {50-54},
  url       = {https://mlanthology.org/ijcai/1997/selman1997ijcai-ten/}
}