Distributional Importance Sampling for Approximate Weighted Model Counting. Davies, J. & Bacchus, F. In Workshop on Counting Problems in CSP and SAT, and other neighbouring problems, 2008.
Distributional Importance Sampling for Approximate Weighted Model Counting [pdf]Paper  bibtex   

Downloads: 0