"Inductive Certificates of Unsolvability for Domain-Independent Planning."

Salomé Eriksson, Gabriele Röger, Malte Helmert (2018)

Details and statistics

DOI: 10.24963/IJCAI.2018/730

access: open

type: Conference or Workshop Paper

metadata version: 2024-10-06