Article contents
The RANTANPLAN planner: system description
Published online by Cambridge University Press: 22 December 2016
Abstract
RANTANPLAN is a numeric planning solver that takes advantage of recent advances in satisfiability modulo theories. 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.
- Type
- Articles
- Information
- The Knowledge Engineering Review , Volume 31 , Special Issue 5: Constraint Satisfaction for Planning and Scheduling , November 2016 , pp. 452 - 464
- Copyright
- © Cambridge University Press, 2016
References
- 3
- Cited by