SDDs are Exponentially More Succinct than OBDDs
Dynamic minimization of sentential decision diagrams