Heuristics for Planning with SAT [chapter]

Jussi Rintanen
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Generic SAT solvers have been very successful in solving hard combinatorial problems in various application areas, including AI planning. There is potential for improved performance by making the SAT solving process more application-specific. In this paper we propose a variable selection strategy for AI planning. The strategy is based on generic principles about properties of plans, and its performance with standard planning benchmarks often substantially improves on generic variable selection
more &raquo; ... euristics used in SAT solving, such as the VSIDS strategy. These improvements lift the efficiency of SAT based planning to the same level as best planners that use other search methods. Planning as Satisfiability The classical planning problem involves finding a sequence of actions from a given initial state to a goal state. The actions are deterministic, which means that an action and the current state determine the successor state uniquely. In the simplest formalization of planning actions are pairs (p, e) where p and e are consistent
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-15396-9_34">doi:10.1007/978-3-642-15396-9_34</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zovmyaqwsva6joxozsy3g4orke">fatcat:zovmyaqwsva6joxozsy3g4orke</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160702052158/http://users.ics.aalto.fi/rintanen/papers/Rintanen10cp.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e3/96/e396cdacc883b4ddcb424cdeb286e7a77845ad69.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-15396-9_34"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>