SDD: A New Canonical Representation of Propositional Knowledge Bases
A Lower Bound on the Size of Decomposable Negation Normal Form