@inproceedings{7efbf83095c84ef5915b88115f44b69c,
title = "An efficient local search method for random 3-satisfiability",
keywords = "combinatorial phase transitions, local search, satisfiability problem, stochastic algorithms, combinatorial phase transitions, local search, satisfiability problem, stochastic algorithms, combinatorial phase transitions, local search, satisfiability problem, stochastic algorithms",
author = "Sakari Seitz and Pekka Orponen",
year = "2003",
language = "English",
editor = "Evangelos Kranakis and Lefteris Kirousis",
booktitle = "IEEE LICS'03 Workshop on Typical Case Complexity and Phase Transitions, Ottawa, Canada, June 2003",
publisher = "Elsevier",
address = "Netherlands",
}