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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Junping Zhou' in GoogleThis author has not been identified. Look up 'Minghao Yin' in GoogleThis author has not been identified. Look up 'Chunguang Zhou' in Google

runs on WebDSL