Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 2015

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: planics

Sortuj według:

Ogranicz wyniki do:

Combining SMT and Simulated Annealing into a Hybrid Planning Method

Skaruz J., Niewiadomski A., Penczek W.

Studia Informatica : systems and information technology

2015

Vol. 1-2(19)

43--48

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.