- Tytuł:
- Combining SMT and Simulated Annealing into a Hybrid Planning Method
- Autorzy:
-
Skaruz, J.
Niewiadomski, A.
Penczek, W. - Data publikacji:
- 2015
- Wydawca:
- Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
- Tematy:
-
concrete planning
genetic algorithm
satisfiability modulo theories
simulated annealing
web service composition
planics - Dostawca treści:
- Biblioteka Nauki
Artykuł