Heuristics for Planning with SAT and Expressive Action Definitions
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
|Collections||ANU Research Publications|
|Source:||International Conference on Automated Planning and Scheduling 2011 proceedings|
|01_Rintanen_Heuristics_for_Planning_with_2011.pdf||447.68 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.