Unsolvability Certificates for Classical PlanningMarkSalomé ErikssonGabriele Röger[0]Malte Helmert[0]ICAPS, pp. 88-97, 2017.Cited by: 17|Bibtex|Views10EI Other Links: dblp.uni-trier.de|academic.microsoft.comCode: Data: Full Text (Upload PDF)PPT (Upload PPT)CitedUpload PPTYour rating :0 TagsCommentsSubmit
