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 12 June 2006.
HTML page formatted Fri Feb 23 10:06:08 2018.

Cite this as:
"OBDD", in Dictionary of Algorithms and Data Structures [online], Vreda Pieterse and Paul E. Black, eds. 12 June 2006. (accessed TODAY) Available from: https://www.nist.gov/dads/HTML/obdd.html