Amin Coja-Oghlan Uriel Feige Alan M. Frieze Michael Krivelevich Dan Vilenchik On smoothed <i>k</i>-CNF formulas and the Walksat algorithm. 451-460 2009 SODA http://doi.acm.org/10.1145/1496770.1496820 conf/soda/2009 db/conf/soda/soda2009.html#Coja-OghlanFFKV09