(data structure)
Definition: (no definition here, yet, but you can help.)
Also known as ROBDD.
Note: Randy Bryant's homepage
Randy E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, C-35(8):677-691, August, 1986.
If you have suggestions, corrections, or comments, please get in touch with Paul E. Black.
Entry modified 9 August 2005.
HTML page formatted Tue Dec 6 16:16:32 2011.
Cite this as:
"reduced ordered binary decision diagram", in
Dictionary of Algorithms and Data
Structures [online], Paul E. Black, ed.,
U.S. National Institute of
Standards and Technology. 9 August 2005. (accessed TODAY)
Available from: http://www.nist.gov/dads/HTML/reducedOrderedBDD.html