Combining Component Caching and Clause Learning for Effective Model Counting.

Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi

Browse the full SAT paper archive.