ML Anthology
Authors
Search
About
Eriksson, Salomé
1 publications
IJCAI
2018
Inductive Certificates of Unsolvability for Domain-Independent Planning
Salomé Eriksson
,
Gabriele Röger
,
Malte Helmert