J. Zhou, M. Yin, and C. Zhou, “New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter”, AAAI, vol. 24, no. 1, pp. 217–222, Jul. 2010.