ML Anthology

Refinement-Based Planning as Satisfiability

Amol Dattatraya Mali
AAAI 1998 pp. 1194
/aaai/1998/mali1998aaai-refinement/
PDF AAAI Semantic Scholar

Cite

Text

Mali. "Refinement-Based Planning as Satisfiability." AAAI Conference on Artificial Intelligence, 1998.

Markdown

[Mali. "Refinement-Based Planning as Satisfiability." AAAI Conference on Artificial Intelligence, 1998.](https://mlanthology.org/aaai/1998/mali1998aaai-refinement/)

BibTeX

@inproceedings{mali1998aaai-refinement,
  title     = {{Refinement-Based Planning as Satisfiability}},
  author    = {Mali, Amol Dattatraya},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1998},
  pages     = {1194},
  url       = {https://mlanthology.org/aaai/1998/mali1998aaai-refinement/}
}