Minimum Proof Graphs and Fastest-Cut-First Search Heuristics.

Timothy Furtak, Michael Buro

Browse the full IJCAI paper archive.