Combining SMT and Simulated Annealing into a Hybrid Planning Method

DSpace/Manakin Repository

Show simple item record

dc.contributor.author Skaruz, Jarosław
dc.contributor.author Niewiadomski, Artur
dc.contributor.author Penczek, Wojciech
dc.date.accessioned 2021-04-15T10:19:19Z
dc.date.available 2021-04-15T10:19:19Z
dc.date.issued 2015
dc.identifier.citation Studia Informatica : systemy i technologie informacyjne. Nr 19 (2015), s. 43-48 pl
dc.identifier.issn 1731-2264
dc.identifier.uri http://hdl.handle.net/11331/3459
dc.description.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. en
dc.language.iso en pl
dc.publisher Wydawnictwo Uniwersytetu Przyrodniczo-Humanistycznego pl
dc.rights Uznanie autorstwa-Na tych samych warunkach 3.0 Polska *
dc.rights.uri http://creativecommons.org/licenses/by-sa/3.0/pl/ *
dc.subject Genetic algorithms en
dc.subject Algorytmy genetyczne pl
dc.title Combining SMT and Simulated Annealing into a Hybrid Planning Method en
dc.type Article pl


Files in this item

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record

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