𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The parameterized complexity of -flip local search for SAT and MAX SAT

✍ Scribed by Stefan Szeider


Book ID
108114397
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
225 KB
Volume
8
Category
Article
ISSN
1572-5286

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