Inductive Certificates of Unsolvability for Domain-Independent Planning.

Salom Eriksson, Gabriele Rger, Malte Helmert

Browse the full IJCAI paper archive.