Combining SMT and Simulated Annealing into a Hybrid Planning Method

DSpace/Manakin Repository

Show full item record

Title Combining SMT and Simulated Annealing into a Hybrid Planning Method
Autor: Skaruz, Jarosław; Niewiadomski, Artur; Penczek, Wojciech
URI: http://hdl.handle.net/11331/3459
Date: 2015
Źródło: Studia Informatica : systemy i technologie informacyjne. Nr 19 (2015), s. 43-48
Abstract: 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.

Files in this item

The following license files are associated with this item:

This item appears in the following Collection(s)

Uznanie autorstwa-Na tych samych warunkach 3.0 Polska Except where otherwise noted, this item's license is described as Uznanie autorstwa-Na tych samych warunkach 3.0 Polska

Search DSpace


Advanced Search

Browse

My Account

Statistics