Counting Belief Propagation
Combining Component Caching and Clause Learning for Effective Model Counting