New Algorithms for #2-SAT and #3-SAT

Junqiang Peng, Zimo Sheng, Mingyu Xiao

The #2-SAT and #3-SAT problems involve counting the number of satisfying assignments (also called models) for instances of 2-SAT and 3-SAT, respectively. In 2010, Zhou et al. propo…