Duc Nghia Pham, John Thornton, Abdul Sattar. Building Structure into Local Search for SAT. In Manuela M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. pages 2359-2364, 2007. [doi]
Abstract is missing.