On Compiling CNF into Decision-DNNF
A Knowledge Compilation Map