Citation

BibTex format

@article{Leofante:2023:10.3233/SAT-220001,
author = {Leofante, F},
doi = {10.3233/SAT-220001},
journal = {Journal of Satisfiability, Boolean Modeling and Computation},
pages = {17--23},
title = {OMTPlan: a tool for optimal planning modulo theories},
url = {http://dx.doi.org/10.3233/SAT-220001},
volume = {14},
year = {2023}
}

RIS format (EndNote, RefMan)

TY  - JOUR
AB - OMTPlan is a Python platform for optimal planning in numeric domains via reductions to Satis -ability Modulo Theories (SMT) and OptimizationModulo Theories (OMT). Currently, OMTPlan supports the expressive power of PDDL2.1 level 2 andfeatures procedures for both satis cing and optimal planning. OMTPlan provides an open, easyto extend, yet e cient implementation framework.These goals are achieved through a modular designand the extensive use of state-of-the-art systemsfor SMT/OMT solving.
AU - Leofante,F
DO - 10.3233/SAT-220001
EP - 23
PY - 2023///
SN - 1574-0617
SP - 17
TI - OMTPlan: a tool for optimal planning modulo theories
T2 - Journal of Satisfiability, Boolean Modeling and Computation
UR - http://dx.doi.org/10.3233/SAT-220001
UR - https://content.iospress.com/articles/journal-on-satisfiability-boolean-modeling-and-computation/sat220001
UR - http://hdl.handle.net/10044/1/104465
VL - 14
ER -

Contact us

Artificial Intelligence Network
South Kensington Campus
Imperial College London
SW7 2AZ

To reach the elected speaker of the network, Dr Rossella Arcucci, please contact:

ai-speaker@imperial.ac.uk

To reach the network manager, Diana O'Malley - including to join the network - please contact:

ai-net-manager@imperial.ac.uk