An efficient local search method for random 3-satisfiability. - Sakari Seitz; Pekka Orponen (Electron. Notes Discret. Math., 2003)

Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability. - Sakari Seitz; Mikko Alava; Pekka Orponen (SAT, 2005)

Focused Local Search for Random 3-Satisfiability - Sakari Seitz; Mikko Alava; Pekka Orponen (CoRR, 2005)

Circumspect descent prevails in solving random constraint satisfaction problems. - Mikko Alava; John Ardelius; Erik Aurell; Petteri Kaski; Supriya Krishnamurthy; Pekka Orponen; Sakari Seitz (Proc. Natl. Acad. Sci. USA, 2008)