Inductive Certificates of Unsolvability for Domain-Independent PlanningMarkSalomé ErikssonGabriele Röger[0]Malte Helmert[0]IJCAI, pp. 5244-5248, 2018.Cited by: 2|Bibtex|Views7EI Other Links: dblp.uni-trier.de|academic.microsoft.comCode: Data: Full TextPPT (Upload PPT)Update Full TextUpload PPTFull TextYour rating :0 TagsCommentsSubmit
