Towards Certified Unsolvability in Classical Planning.

Gabriele Rger

Browse the full IJCAI paper archive.