NIST

reduced ordered binary decision diagram

(data structure)

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

Also known as ROBDD.

See also BDD, OBDD.

Note: Randy Bryant's homepage

More information

Randy E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, C-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 9 August 2005.
HTML page formatted Mon Feb 2 13:10:40 2015.

Cite this as:
"reduced ordered binary decision diagram", in Dictionary of Algorithms and Data Structures [online], Vreda Pieterse and Paul E. Black, eds. 9 August 2005. (accessed TODAY) Available from: http://www.nist.gov/dads/HTML/reducedOrderedBDD.html