Salomé Eriksson, Gabriele Röger and Malte Helmert
Unsolvability Certificates for Classical Planning
Categories
ICAPSInternational Conference on Automated Planning and Scheduling
ICAPSSalomé Eriksson, Gabriele Röger and Malte Helmert
Unsolvability Certificates for Classical Planning