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

Browse the full AAAI paper archive.