A Dynamic Approach for MPE and Weighted MAX-SAT
Combining Component Caching and Clause Learning for Effective Model Counting