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/}
}