ML Anthology

Automatic SAT-Compilation of Planning Problems

Michael D. Ernst, Todd D. Millstein, Daniel S. Weld
IJCAI 1997 pp. 1169-1177
/ijcai/1997/ernst1997ijcai-automatic/
PDF IJCAI Semantic Scholar

Cite

Text

Ernst et al. "Automatic SAT-Compilation of Planning Problems." International Joint Conference on Artificial Intelligence, 1997.

Markdown

[Ernst et al. "Automatic SAT-Compilation of Planning Problems." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/ernst1997ijcai-automatic/)

BibTeX

@inproceedings{ernst1997ijcai-automatic,
  title     = {{Automatic SAT-Compilation of Planning Problems}},
  author    = {Ernst, Michael D. and Millstein, Todd D. and Weld, Daniel S.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {1169-1177},
  url       = {https://mlanthology.org/ijcai/1997/ernst1997ijcai-automatic/}
}