Heuristics for Planning with SAT and Expressive Action Definitions
Abstract
We present the first effective SAT heuristics for planning with expressive planning languages such as ADL. Recently, SAT heuristics for STRIPS planning have been introduced. In this work we show that the basic ideas in the heuristic can be generalized to
Description
Citation
Collections
Source
International Conference on Automated Planning and Scheduling 2011 proceedings
Type
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31