# ∃sat : projected model counting .
Combining Component Caching and Clause Learning for Effective Model Counting