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.

A canonical generalization of OBDD

Abstract page for arXiv paper 2604.05537v1: A canonical generalization of OBDD

arXiv.org (arxiv.org)