An Improved Decision-DNNF Compiler
Combining Component Caching and Clause Learning for Effective Model Counting