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