John Thornton, Duc Nghia Pham. Using Cost Distributions to Guide Weight Decay in Local Search for SAT. In Tu Bao Ho, Zhi-Hua Zhou, editors, PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings. Volume 5351 of Lecture Notes in Computer Science, pages 405-416, Springer, 2008. [doi]
Abstract is missing.