A Theoretical Analysis of the k-Satisfiability Search Space

Andrew M. Sutton, Adele E. Howe, L. Darrell Whitley. A Theoretical Analysis of the k-Satisfiability Search Space. In Thomas Stützle, Mauro Birattari, Holger H. Hoos, editors, Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics, Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings. Volume 5752 of Lecture Notes in Computer Science, pages 46-60, Springer, 2009. [doi]

Abstract

Abstract is missing.