Combining component caching and clause learning for effective model counting (2004)

by Tian Sang , Fahiem Bacchus , Paul Beame , Henry Kautz , Toniann Pitassi
Venue:in Seventh International Conference on Theory and Applications of Satisfiability Testing
Citations:59 - 10 self