Item


The RANTANPLAN planner: system description

Rantanplan is a numeric planning solver that takes advantage of recent advances in SMT. It extends reduction to SAT approaches with an easy and efficient handling of numeric fluents using background theories. In this paper we describe the design choices and features of Rantanplan, especially, how numeric reasoning is integrated in the system. We also provide experimental results showing that Rantanplan is competitive with existing exact numeric planners

Author: Bofill Arasa, Miquel
Espasa Arxer, Joan
Villaret i Ausellé, Mateu
Date: 2016 December 22
Abstract: Rantanplan is a numeric planning solver that takes advantage of recent advances in SMT. It extends reduction to SAT approaches with an easy and efficient handling of numeric fluents using background theories. In this paper we describe the design choices and features of Rantanplan, especially, how numeric reasoning is integrated in the system. We also provide experimental results showing that Rantanplan is competitive with existing exact numeric planners
Format: application/pdf
Document access: http://hdl.handle.net/10256/14885
Language: eng
Collection: info:eu-repo/semantics/altIdentifier/doi/10.1017/S0269888916000229
info:eu-repo/semantics/altIdentifier/issn/0269-8889
info:eu-repo/semantics/altIdentifier/eissn/1469-8005
Rights: Tots els drets reservats
Subject: Algorismes computacionals
Computer algorithms
Programació per restriccions (Informàtica)
Constraint programming (Computer science)
Title: The RANTANPLAN planner: system description
Type: info:eu-repo/semantics/article
Repository: DUGiDocs

Subjects

Authors


Warning: Unknown: write failed: No space left on device (28) in Unknown on line 0

Warning: Unknown: Failed to write session data (files). Please verify that the current setting of session.save_path is correct (/var/lib/php5) in Unknown on line 0