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

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]

Authors

Artur Niewiadomski

This author has not been identified. Look up 'Artur Niewiadomski' in Google

Jaroslaw Skaruz

This author has not been identified. Look up 'Jaroslaw Skaruz' in Google

Wojciech Penczek

This author has not been identified. Look up 'Wojciech Penczek' in Google

Maciej Szreter

This author has not been identified. Look up 'Maciej Szreter' in Google

Mariusz Jarocki

This author has not been identified. Look up 'Mariusz Jarocki' in Google