ML Anthology

Pushing the Envelope: Planning, Propositional Logic and Stochastic Search

Henry A. Kautz, Bart Selman
AAAI 1996 pp. 1194-1201
/aaai/1996/kautz1996aaai-pushing/
PDF AAAI Semantic Scholar

Cite

Text

Kautz and Selman. "Pushing the Envelope: Planning, Propositional Logic and Stochastic Search." AAAI Conference on Artificial Intelligence, 1996.

Markdown

[Kautz and Selman. "Pushing the Envelope: Planning, Propositional Logic and Stochastic Search." AAAI Conference on Artificial Intelligence, 1996.](https://mlanthology.org/aaai/1996/kautz1996aaai-pushing/)

BibTeX

@inproceedings{kautz1996aaai-pushing,
  title     = {{Pushing the Envelope: Planning, Propositional Logic and Stochastic Search}},
  author    = {Kautz, Henry A. and Selman, Bart},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1996},
  pages     = {1194-1201},
  url       = {https://mlanthology.org/aaai/1996/kautz1996aaai-pushing/}
}