Dave A. D. Tompkins, Holger H. Hoos. Warped Landscapes and Random Acts of SAT Solving. In International Symposium on Artificial Intelligence and Mathematics (AI&M 2004), Fort Lauderdale, Florida, USA, January 4-6, 2004. 2004. [doi]
Abstract is missing.