Algorithms and complexity results for #sat and bayesian inference (2003)

by S Dalmo F Bacchus, T Piassi
Venue:In FOCS 2003