Item
Bofill Arasa, Miquel
Espasa Arxer, Joan Villaret i Ausell茅, Mateu |
|
2016 December 22 | |
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 | |
application/pdf | |
http://hdl.handle.net/10256/14885 | |
eng | |
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 |
|
Tots els drets reservats | |
Algorismes computacionals
Computer algorithms Programaci贸 per restriccions (Inform脿tica) Constraint programming (Computer science) |
|
The RANTANPLAN planner: system description | |
info:eu-repo/semantics/article | |
DUGiDocs |