Tompkinsand Hoos. On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT. Springer Berlin Heidelberg, 2006, doi:10.1007/11766247_13.