NIST

OBDD

Definition: (no definition here, yet, but you can help.)

Also known as ordered binary decision diagram.

See also BDD, reduced ordered binary decision diagram.

Note: OBDD referred to as Oblivious ... by Lance Fortnow, Review of Branching Programs and Binary Decision Diagrams: Theory and Applications, SIGACT News, 33(1):7, March 2002.

More information

Symbolic Boolean manipulation with ordered binary-decision diagrams.

Randal E. Bryant, Graph-based algorithms for Boolean function manipulation, IEEE Transactions on Computers, 35(8):677-691, August 1986.


Go to the Dictionary of Algorithms and Data Structures home page.

If you have suggestions, corrections, or comments, please get in touch with Paul Black.

Entry modified 25 February 2019.
HTML page formatted Wed Mar 13 12:42:46 2019.

Cite this as:
"OBDD", in Dictionary of Algorithms and Data Structures [online], Paul E. Black, ed. 25 February 2019. (accessed TODAY) Available from: https://www.nist.gov/dads/HTML/obdd.html