- Tytuł:
- Combining SMT and Simulated Annealing into a Hybrid Planning Method
- Autorzy:
-
Skaruz, J.
Niewiadomski, A.
Penczek, W. - Powiązania:
- https://bibliotekanauki.pl/articles/92934.pdf
- Data publikacji:
- 2015
- Wydawca:
- Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
- Tematy:
-
concrete planning
genetic algorithm
satisfiability modulo theories
simulated annealing
web service composition
planics - Opis:
- We present a new approach to the concrete planning (CP) - a stage of theWeb service composition in the PlanICS framework. A new hybrid algorithm (HSA) based on a combination of Simulated Annealing (SA) with Satisfiability Modulo Theories (SMT) has been designed and implemented. The main idea of our hybrid solution is to use an SMT-based procedure in order to generate an initial individual and then improve it during subsequent iterations of SA. The experimental results show that HSA is superior to the other methods we have applied to the CP problem, including Genetic Algorithm, an SMT-based approach, and our previously developed hybrids.
- Źródło:
-
Studia Informatica : systems and information technology; 2015, 1-2(19); 43-48
1731-2264 - Pojawia się w:
- Studia Informatica : systems and information technology
- Dostawca treści:
- Biblioteka Nauki
Artykuł