Carla P. Gomes Ashish Sabharwal Bart Selman Model Counting: A New Strategy for Obtaining Good Bounds. 2006 conf/aaai/2006 AAAI db/conf/aaai/aaai2006.html#GomesSS06