New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter

Junping Zhou, Minghao Yin, Chunguang Zhou. New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter. In Maria Fox, David Poole, editors, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010. pages 217-222, AAAI Press, 2010. [doi]

Abstract

Abstract is missing.