On Compiling CNF into Decision-DNNF
SDD: A New Canonical Representation of Propositional Knowledge Bases