Artur Niewiadomski, Jaroslaw Skaruz, Wojciech Penczek, Maciej Szreter, Mariusz Jarocki. SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework. Fundamenta Informaticae, 135(4):451-466, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.