A canonical generalization of OBDD

Florent Capelli, YooJung Choi, Stefan Mengel +2

We introduce Tree Decision Diagrams (TDD) as a model for Boolean functions that generalizes OBDD. They can be seen as a restriction of structured d-DNNF; that is, d-DNNF that respe…