Model Counting: A New Strategy for Obtaining Good Bounds.

Carla P. Gomes, Ashish Sabharwal, Bart Selman

Browse the full AAAI paper archive.