Djamal Habet. Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT. In 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1. pages 255-262, IEEE Computer Society, 2008. [doi]
Abstract is missing.