SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework.
| Autor: | Niewiadomski, Artur1 artur.niewiadomski@uph.edu.pl, Skaruz, Jaroslaw1 jaroslaw.skaruz@uph.edu.pl, Penczek, Wojciech2 penczek@ipipan.waw.pl, Szreter, Maciej2 mszreter@ipipan.waw.pl, Jarocki, Mariusz3 jarocki@math.uni.lodz.pl |
|---|---|
| Zdroj: | Fundamenta Informaticae. 2014, Vol. 135 Issue 4, p451-466. 16p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|