Model counting: A new strategy for obtaining good bounds (2006)

by C P Gomes, A Sabharwal, B Selman
Venue:In 21th AAAI