Sciweavers

AI
2006
Springer
14 years 3 months ago
On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT
Stochastic local search (SLS) methods are underlying some of the best-performing algorithms for certain types of SAT instances, both from an empirical as well as from a theoretical...
Dave A. D. Tompkins, Holger H. Hoos
SLS
2007
Springer
100views Algorithms» more  SLS 2007»
14 years 5 months ago
EasySyn++: A Tool for Automatic Synthesis of Stochastic Local Search Algorithms
Abstract. We present a software tool, called EasySyn++, for the automatic synthesis of the source code for a set of stochastic local search (SLS) algorithms. EasySyn++ uses C++ as ...
Luca Di Gaspero, Andrea Schaerf