Dave A. D. Tompkins, Holger H. Hoos. On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT. In Luc Lamontagne, Mario Marchand, editors, Advances in Artificial Intelligence, 19th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2006, Québec City, Québec, Canada, June 7-9, 2006, Proceedings. Volume 4013 of Lecture Notes in Computer Science, pages 146-158, Springer, 2006. [doi]
Abstract is missing.