Towards Fewer Parameters for SAT Clause Weighting Algorithms

John Thornton, Wayne J. Pullan, Justin Terry. Towards Fewer Parameters for SAT Clause Weighting Algorithms. In Bob McKay, John K. Slaney, editors, AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings. Volume 2557 of Lecture Notes in Computer Science, pages 569-578, Springer, 2002. [doi]

Abstract

Abstract is missing.