"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability.

Jrg Hoffmann, Peter Kissmann, lvaro Torralba

Browse the full ECAI paper archive.