Ramón Béjar, Felip Manyà. A Comparison of Systematic and Local Search Algorithms for Regular CNF Formulas. In Anthony Hunter, Simon Parsons, editors, Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU 99, London, UK, July 5-9, 1999, Proceedings. Volume 1638 of Lecture Notes in Computer Science, pages 22-31, Springer, 1999. [doi]