Augmenting Ordered Binary Decision Diagrams with Conjunctive Decomposition

Yong Lai, Dayou Liu, Minghao Yin

This paper augments OBDD with conjunctive decomposition to propose a generalization called OBDD[$\wedge$]. By imposing reducedness and the finest $\wedge$-decomposition bounded by…