Tian Sang Fahiem Bacchus Paul Beame Henry A. Kautz Toniann Pitassi Combining Component Caching and Clause Learning for Effective Model Counting. 2004 conf/sat/2004 SAT http://www.satisfiability.org/SAT04/programme/21.pdf db/conf/sat/sat2004.html#SangBBKP04