Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Heuristics for Planning with SAT and Expressive Action Definitions

Download (447.68 kB)

Rintanen, Jussi

Description

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
URI: http://hdl.handle.net/1885/51224
Source: International Conference on Automated Planning and Scheduling 2011 proceedings

Download

File Description SizeFormat Image
01_Rintanen_Heuristics_for_Planning_with_2011.pdf447.68 kBAdobe PDFThumbnail
Show full item record


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