SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework

DOI10.3233/FI-2014-1134zbMATH Open1329.68047OpenAlexW1527453127MaRDI QIDQ5259304FDOQ5259304

MacIej Szreter, Artur Niewiadomski, Jaroslaw Skaruz, Wojciech Penczek, Mariusz Jarocki

Publication date: 26 June 2015

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2014-1134

Mathematics Subject Classification ID

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

Cited In (1)

• OMTPlan: A Tool for Optimal Planning Modulo Theories

Uses Software

• Maple
• Matlab
• OpenOpt

This page was built for publication: SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework

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