BDDs Naturally Represent Boolean Functions, and ZDDs Naturally Represent Sets of Sets

Kensuke Kojima

This paper studies a difference between Binary Decision Diagrams (BDDs) and Zero-suppressed BDDs (ZDDs) from a conceptual point of view. It is commonly understood that a BDD is a r…