, 0000.  H.H. Hoos. On the run-time behaviour of stochastic local search algorithms for SAT. In Proceedings of the Sixteenth National Conference on Artificial Intelligence , pages 000-000, Orlando, 0000. American Association for Artificial Intelligence.  H.H. Hoos and T. Stützle. On the empirical evaluation of Las Vegas algorithms - Position paper. Technical report, Computer Science Department, University of British Columbia, Vancouver, 0000a.  H.H. Hoos and T. Stützle. Evaluating Las Vegas algorithms - Pitfalls and remedies. In Proceedings of the 00th Conference on Uncertainty in Artificial Intelligence , pages 000-000, Madison, 0000b.  H.H. Hoos and T. Stützle. Some surprising regularities in the behaviour of stochastic local search. In M. Maher and J.-F. Puget, editors, Principles and practice of constraint programming , volume 0000 of Lecture Notes in Computer Science , page 000. Springer, Berlin, 0000c.  H.H. Hoos and T. Stützle. Towards a characterisation of the behaviour of stochastic local search algorithms for SAT. Artificial Intelligence