Towards a Characterisation of the Behaviour of Stochastic Local Search Algorithms for SAT

@article{Hoos1999TowardsAC,
  title={Towards a Characterisation of the Behaviour of Stochastic Local Search Algorithms for SAT},
  author={Holger H. Hoos and Thomas St{\"u}tzle},
  journal={Artif. Intell.},
  year={1999},
  volume={112},
  pages={213-232}
}
Stochastic local search (SLS) algorithms have been success fully applied to hard combinatorial problems from different domains. Due to their inhe rent randomness, the run-time behaviour of these algorithms is characterised by a random v ariable. The detailed knowledge of the run-time distribution provides important infor mation about the behaviour of SLS algorithms. In this paper we investigate the empirical r un-time distributions for Walksat, one of the most powerful SLS algorithms for the… CONTINUE READING
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 79 extracted citations

Similar Papers

Loading similar papers…