A new decision diagram appears!We introduce Tree Decision Diagrams (TDD) as a model for Boolean functions that generalizes OBDD. … We show that TDDs enjoy the same tractability properties as OBDD, such as model counting, enumeration, and apply, and are more succinct.https://arxiv.org/abs/2604.05537v1
J