Minimum Proof Graphs and Fastest-Cut-First Search Heuristics

Open in new window