Skip navigation
Skip navigation

Heuristics for Planning with SAT and Expressive Action Definitions

Rintanen, Jussi


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

CollectionsANU Research Publications
Date published: 2011
Type: Conference paper
Source: International Conference on Automated Planning and Scheduling 2011 proceedings


File Description SizeFormat Image
01_Rintanen_Heuristics_for_Planning_with_2011.pdf447.68 kBAdobe PDFThumbnail

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator