Open AccessEfficient Encoding of Cost Optimal Delete-Free Planning as SAT
Author(s) -
Masood Feyzbakhsh Rankooh,
Jussi Rintanen
Publication year - 2022
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v36i9.21228
Subject(s) - computer science , strips , encoding (memory) , benchmark (surveying) , plan (archaeology) , set (abstract data type) , mathematical optimization , function (biology) , graph , proposition , action (physics) , algorithm , theoretical computer science , mathematics , artificial intelligence , programming language , geodesy , archaeology , epistemology , evolutionary biology , quantum mechanics , biology , history , geography , philosophy , physics