- Tytuł:
- Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing
- Autorzy:
-
Niewiadomski, A.
Skaruz, J.
Switalski, P.
Penczek, W. - Data publikacji:
- 2016
- Słowa kluczowe:
-
web service composition
concrete planning
planICS
SMT
satisfiability modulo theories
genetic algorithm
hybrid algorithm
simulated annealing
GEO
generalised extremal optimization - Pokaż więcej
- Dostawca treści:
- BazTech