ML Anthology

Deconstructing Planning as Satisfiability

Henry A. Kautz
AAAI 2006 pp. 1524-1526
/aaai/2006/kautz2006aaai-deconstructing/

Abstract

The idea of encoding planning as satisfiability was proposed in 1992 as a method for generating interesting SAT problems, but did not appear to be a practical approach to planning (Kautz & Selman 1992). This changed in 1996, when

PDF AAAI Semantic Scholar

Cite

Text

Kautz. "Deconstructing Planning as Satisfiability." AAAI Conference on Artificial Intelligence, 2006.

Markdown

[Kautz. "Deconstructing Planning as Satisfiability." AAAI Conference on Artificial Intelligence, 2006.](https://mlanthology.org/aaai/2006/kautz2006aaai-deconstructing/)

BibTeX

@inproceedings{kautz2006aaai-deconstructing,
  title     = {{Deconstructing Planning as Satisfiability}},
  author    = {Kautz, Henry A.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2006},
  pages     = {1524-1526},
  url       = {https://mlanthology.org/aaai/2006/kautz2006aaai-deconstructing/}
}