Valnir Ferreira Jr., John Thornton. Tie Breaking in Clause Weighting Local Search for SAT. In Shichao Zhang, Ray Jarvis, editors, AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings. Volume 3809 of Lecture Notes in Computer Science, pages 70-81, Springer, 2005. [doi]
Abstract is missing.