Heuristics for Fast Exact Model Counting.

Tian Sang, Paul Beame, Henry A. Kautz

Browse the full SAT paper archive.