Concrete planning in Plan\textsc{ics} framework by combining SMT with GEO and simulated annealing

DOI10.3233/FI-2016-1409zbMATH Open1374.68512DBLPjournals/fuin/NiewiadomskiSSP16OpenAlexW2555225803WikidataQ62045383 ScholiaQ62045383MaRDI QIDQ4589206FDOQ4589206

Authors: Artur Niewiadomski, Jaroslaw Skaruz, Piotr Switalski, Wojciech Penczek 

Publication date: 9 November 2017

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

Full work available at URL: https://doi.org/10.3233/fi-2016-1409

Recommendations

• SMT versus genetic and OpenOpt algorithms: concrete planning in the PlanICS framework
• SMT-based abstract parametric temporal planning
• Planning as satisfiability with IPC simple preferences and action costs
• scientific article; zbMATH DE number 1954197
• OMTPlan: A Tool for Optimal Planning Modulo Theories

zbMATH Keywords

simulated annealinghybrid algorithmgenetic algorithmSMTweb service compositionGEOconcrete planningPlanICS

Mathematics Subject Classification ID

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

Cited In (3)

• SMT-based abstract parametric temporal planning
• SMT versus genetic and OpenOpt algorithms: concrete planning in the PlanICS framework
• OMTPlan: A Tool for Optimal Planning Modulo Theories

This page was built for publication: Concrete planning in Plan\textsc{ics} framework by combining SMT with GEO and simulated annealing

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