Skip navigation
Skip navigation

Numeric Planning with Disjunctive Global Constraints via SMT

Scala, Enrico; Ramirez, Miguel; Haslum, Patrik; Thiebaux, Sylvie


This paper describes a novel encoding for sequential numeric planning into the problem of determining the satisfiability of a logical theory T. We introduce a novel technique, orthogonal to existing work aiming at producing more succinct encodings that enables the theory solver to roll up an unbounded yet finite number of instances of an action into a single plan step, greatly reducing the horizon at which T models valid plans. The technique is then extended to deal with problems featuring...[Show more]

CollectionsANU Research Publications
Date published: 2016
Type: Conference paper
Source: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016)
Access Rights: Open Access


File Description SizeFormat Image
01_Scala_Numeric_Planning_with_2016.pdf688.55 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