Sciweavers

SAT
2005
Springer

Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability

13 years 9 months ago
Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability
Sakari Seitz, Mikko Alava, Pekka Orponen
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where SAT
Authors Sakari Seitz, Mikko Alava, Pekka Orponen
Comments (0)