SDDs are Exponentially More Succinct than OBDDs
SDD: A New Canonical Representation of Propositional Knowledge Bases