"Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random ..."

Sakari Seitz, Mikko Alava, Pekka Orponen (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics