Valnir Ferreira Jr., John Thornton. Longer-Term Memory in Clause Weighting Local Search for SAT. In Geoffrey I. Webb, Xinghuo Yu, editors, AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings. Volume 3339 of Lecture Notes in Computer Science, pages 730-741, Springer, 2004. [doi]
Abstract is missing.