On Compiling CNF into Decision-DNNF
Combining Component Caching and Clause Learning for Effective Model Counting