Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing.
| Autor: | Niewiadomski, Artur1 artur.niewiadomski@uph.edu.pl, Skaruz, Jaroslaw1 jaroslaw.skaruz@uph.edu.pl, Switalski, Piotr1 piotr.switalski@uph.edu.pl, Penczek, Wojciech2 penczek@ipipan.waw.pl |
|---|---|
| Zdroj: | Fundamenta Informaticae. 2016, Vol. 147 Issue 2-3, p289-313. 25p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|