SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework
Authors: Artur Niewiadomski, Jaroslaw Skaruz, Wojciech Penczek, Maciej Szreter, Mariusz Jarocki
Published in: Fundamenta Informaticae
Publication type: article
Subject areas: Computer Science; Mathematics
SJR best quartile: Q3