Post #1141049

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