From sampling to model counting (2007)

by C Gomes, J Hoffmann, A Sabharwal, B Selman