Minimum Proof Graphs and Fastest-Cut-First Search Heuristics

Timothy Furtak, Michael Buro. Minimum Proof Graphs and Fastest-Cut-First Search Heuristics. In Craig Boutilier, editor, IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. pages 492-498, 2009. [doi]

Authors

Timothy Furtak

This author has not been identified. Look up 'Timothy Furtak' in Google

Michael Buro

This author has not been identified. Look up 'Michael Buro' in Google