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

researchr

You are not signed in
Sign in
Sign up

Sakari Seitz, Mikko Alava, Pekka Orponen. Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability. In Fahiem Bacchus, Toby Walsh, editors, Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings. Volume 3569 of Lecture Notes in Computer Science, pages 475-481, Springer, 2005. [doi]

This author has not been identified. Look up 'Sakari Seitz' in GoogleThis author has not been identified. Look up 'Mikko Alava' in GoogleThis author has not been identified. Look up 'Pekka Orponen' in Google

runs on WebDSL