Zhou, J.; Yin, M.; Zhou, C. New Worst-Case Upper Bound for #2-SAT and #3-SAT With the Number of Clauses As the Parameter. AAAI 2010, 24, 217-222.