Underestimation vs. overestimation in SAT-based planning

1Citations
Citations of this article
3Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Planning as satisfiability is one of the main approaches to finding parallel optimal solution plans for classical planning problems. Existing high performance SAT-based planners are able to exploit either forward or backward search strategy; starting from an underestimation or overestimation of the optimal plan length, they keep increasing or decreasing the estimated plan length and, for each fixed length, they either find a solution or prove the unsatisfiability of the corresponding SAT instance. In this paper we will discuss advantages and disadvantages of the underestimating and overestimating techniques, and we will propose an effective online decision system for selecting the most appropriate technique for solving a given planning problem. Finally, we will experimentally show that the exploitation of such a decision system improves the performance of the well known SAT-based planner SatPlan. © Springer International Publishing Switzerland 2013.

Cite

CITATION STYLE

APA

Vallati, M., Chrpa, L., & Crampton, A. (2013). Underestimation vs. overestimation in SAT-based planning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8249 LNAI, pp. 276–287). https://doi.org/10.1007/978-3-319-03524-6_24

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free