ML Anthology

Unifying SAT-Based and Graph-Based Planning

Henry A. Kautz, Bart Selman
IJCAI 1999 pp. 318-325
/ijcai/1999/kautz1999ijcai-unifying/
PDF IJCAI Semantic Scholar

Cite

Text

Kautz and Selman. "Unifying SAT-Based and Graph-Based Planning." International Joint Conference on Artificial Intelligence, 1999.

Markdown

[Kautz and Selman. "Unifying SAT-Based and Graph-Based Planning." International Joint Conference on Artificial Intelligence, 1999.](https://mlanthology.org/ijcai/1999/kautz1999ijcai-unifying/)

BibTeX

@inproceedings{kautz1999ijcai-unifying,
  title     = {{Unifying SAT-Based and Graph-Based Planning}},
  author    = {Kautz, Henry A. and Selman, Bart},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1999},
  pages     = {318-325},
  url       = {https://mlanthology.org/ijcai/1999/kautz1999ijcai-unifying/}
}