OMTPlan: A Tool for Optimal Planning Modulo Theories

DOI10.3233/SAT-220001MaRDI QIDQ6113550zbMATH OpenOpenAlexFDO

Authors Francesco Leofante

Publication date 11 July 2023

Published in Journal on Satisfiability, Boolean Modeling and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/sat-220001

zbMATH Keywords

planning as satisfiabilityoptimisation modulo theories

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• \textsc{OptiMathSAT}: a tool for optimization modulo theories
• scientific article; zbMATH DE number 2243415
• SMT versus genetic and OpenOpt algorithms: concrete planning in the PlanICS framework
• scientific article; zbMATH DE number 2085257
• Concrete planning in Plan\textsc{ics} framework by combining SMT with GEO and simulated annealing

Cites work

• scientific article; zbMATH DE number 2038893 (Why is no real title available?)
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• A Concise Introduction to Models and Methods for Automated Planning
• Concise finite-domain representations for PDDL planning tasks
• Interval-based relaxation for general numeric planning
• Optimization modulo non-linear arithmetic via incremental linearization
• Optimization modulo theories with linear rational costs

Cited in

(3)

• Concrete planning in Plan\textsc{ics} framework by combining SMT with GEO and simulated annealing
• Symbolic pattern planning
• SMT versus genetic and OpenOpt algorithms: concrete planning in the PlanICS framework

This page was built for publication: OMTPlan: A Tool for Optimal Planning Modulo Theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6113550)