Planning as satisfiability: Heuristics

80Citations
Citations of this article
52Readers
Mendeley users who have this article in their library.

Abstract

Reduction to SAT is a very successful approach to solving hard combinatorial problems in Artificial Intelligence and computer science in general. Most commonly, problem instances reduced to SAT are solved with a general-purpose SAT solver. Although there is the obvious possibility of improving the SAT solving process with application-specific heuristics, this has rarely been done successfully. In this work we propose a planning-specific variable selection strategy for SAT solving. 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 heuristics, such as VSIDS, and often lifts it to the same level with other search methods such as explicit state-space search with heuristic search algorithms. © 2012 Elsevier B.V.

Author supplied keywords

Cite

CITATION STYLE

APA

Rintanen, J. (2012). Planning as satisfiability: Heuristics. Artificial Intelligence, 193, 45–86. https://doi.org/10.1016/j.artint.2012.08.001

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