Bridging the Gap Between Refinement and Heuristics in Abstraction.

Christer Bckstrm, Peter Jonsson

Browse the full IJCAI paper archive.