From sampling to model counting. In (2007)

by C P Gomes, J Hoffmann, A Sabharwal, B Selman
Venue:IJCAI,