ML Anthology

Minimum Proof Graphs and Fastest-Cut-First Search Heuristics

Timothy Furtak, Michael Buro
IJCAI 2009 pp. 492-498
/ijcai/2009/furtak2009ijcai-minimum/
PDF IJCAI Semantic Scholar

Cite

Text

Furtak and Buro. "Minimum Proof Graphs and Fastest-Cut-First Search Heuristics." International Joint Conference on Artificial Intelligence, 2009.

Markdown

[Furtak and Buro. "Minimum Proof Graphs and Fastest-Cut-First Search Heuristics." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/furtak2009ijcai-minimum/)

BibTeX

@inproceedings{furtak2009ijcai-minimum,
  title     = {{Minimum Proof Graphs and Fastest-Cut-First Search Heuristics}},
  author    = {Furtak, Timothy and Buro, Michael},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {492-498},
  url       = {https://mlanthology.org/ijcai/2009/furtak2009ijcai-minimum/}
}