𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Local Search Algorithms for SAT: An Empirical Evaluation

✍ Scribed by Holger H. Hoos; Thomas Stützle


Book ID
110234522
Publisher
Springer Netherlands
Year
2000
Tongue
English
Weight
494 KB
Volume
24
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Towards a characterisation of the behavi
✍ Holger H. Hoos; Thomas Stützle 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 252 KB

Stochastic local search (SLS) algorithms have been successfully applied to hard combinatorial problems from different domains. Due to their inherent randomness, the run-time behaviour of these algorithms is characterised by a random variable. The detailed knowledge of the run-time distribution provi