Threshold behaviour of WalkSAT and focused Metropolis search on random 3-satisfiability (2005)

by S Seitz, M Alava, P Orponen
Venue:In Proceedings SAT 2005, LNCS