Djamal Habet, Michel Vasquez. Improving Local Search for Satisfiability Problem by Integrating Structural Properties. In 2007 IEEE International Conference on Research, Innovation and Vision for the Future in Computing & Communication Technologies, RIVF 2007, Hanoi, Vietnam, 5-9 March 2007. pages 50-57, IEEE, 2007. [doi]
Abstract is missing.