SDDs are Exponentially More Succinct than OBDDs
A Lower Bound on the Size of Decomposable Negation Normal Form