Binary decision diagram

Also known as BDD, ROBDD, Reduced ordered binary decision diagram. This is the canonical page; those names redirect here.

Pairings in the atlas

Reduced ordered canonical formcanonBoolean function representation vlsi-eda

Rivals: other methods for the same problems

Where it sits

vlsi-eda · Formal Languages & Compilers