Planning as Satisfiability in Nondeterministic Domains

AAAI 2000 pp. 748-753

/aaai/2000/ferraris2000aaai-planning/

Cite

Text

Ferraris and Giunchiglia. "Planning as Satisfiability in Nondeterministic Domains." AAAI Conference on Artificial Intelligence, 2000.

Markdown

[Ferraris and Giunchiglia. "Planning as Satisfiability in Nondeterministic Domains." AAAI Conference on Artificial Intelligence, 2000.](https://mlanthology.org/aaai/2000/ferraris2000aaai-planning/)

BibTeX

@inproceedings{ferraris2000aaai-planning,
  title     = {{Planning as Satisfiability in Nondeterministic Domains}},
  author    = {Ferraris, Paolo and Giunchiglia, Enrico},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2000},
  pages     = {748-753},
  url       = {https://mlanthology.org/aaai/2000/ferraris2000aaai-planning/}
}