Rights:
© 2015 American Physical Society (APS). This is the accepted version of the following article: Lemoy, Rémi & Alava, Mikko J. & Aurell, Erik. 2015. Local search methods based on variable focusing for random K-satisfiability. Physical Review E. Volume 91, Issue 1. 013305/1-6. ISSN 1539-3755 (printed). DOI: 10.1103/physreve.91.013305, which has been published in final form at http://journals.aps.org/pre/abstract/10.1103/PhysRevE.91.013305.