@inproceedings{a47f97bd1a2648e49975837ad71d5ef2,
title = "Threshold behaviour of WalkSAT and focused Metropolis search on random 3-satisfiability",
keywords = "local search, Metropolis algorithm, phase transition, satisfiability, WalkSAT, local search, Metropolis algorithm, phase transition, satisfiability, WalkSAT, local search, Metropolis algorithm, phase transition, satisfiability, WalkSAT",
author = "Sakari Seitz and Mikko Alava and Pekka Orponen",
year = "2005",
language = "English",
isbn = "3-540-26276-8",
publisher = "Springer",
pages = "475--481",
editor = "Fahiem Bacchus and Toby Walsh",
booktitle = "8th International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Skotlanti, 20.-23.6.2005",
}