# ∃sat : projected model counting .
A Knowledge Compilation Map