Skip navigation
Skip navigation

Heuristics for Planning with SAT and Expressive Action Definitions

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 PDF    Request a copy


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

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator