Title: SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework
Authors: Artur Niewiadomski, Jaroslaw Skaruz, Wojciech Penczek, Maciej Szreter, Mariusz Jarocki
Journal: Fundamenta Informaticae
Publication type: article
DOI: 10.3233/FI-2014-1134