Zhou, J., Yin, M. and Zhou, C. (2010) “New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter”, Proceedings of the AAAI Conference on Artificial Intelligence, 24(1), pp. 217-222. doi: 10.1609/aaai.v24i1.7537.