ML Anthology

A New Admissible Heuristic for Minimal-Cost Proofs

Eugene Charniak, Saadia Husain
AAAI 1991 pp. 446-451
/aaai/1991/charniak1991aaai-new/
PDF AAAI Semantic Scholar

Cite

Text

Charniak and Husain. "A New Admissible Heuristic for Minimal-Cost Proofs." AAAI Conference on Artificial Intelligence, 1991.

Markdown

[Charniak and Husain. "A New Admissible Heuristic for Minimal-Cost Proofs." AAAI Conference on Artificial Intelligence, 1991.](https://mlanthology.org/aaai/1991/charniak1991aaai-new/)

BibTeX

@inproceedings{charniak1991aaai-new,
  title     = {{A New Admissible Heuristic for Minimal-Cost Proofs}},
  author    = {Charniak, Eugene and Husain, Saadia},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {446-451},
  url       = {https://mlanthology.org/aaai/1991/charniak1991aaai-new/}
}