Algorithms and complexity results for #SAT and Bayesian inference. (2003)

by F BACCHUS, S DALMAO, T PITASSI
Venue:In Proceedings of the 44th Annual Symposium on Foundations of Computer Science. IEEE,