Definition: See reduced ordered binary decision diagram.
If you have suggestions, corrections, or comments, please get in touch with Paul E. Black.
Entry modified 9 August 2005.
HTML page formatted Fri Mar 25 16:20:35 2011.
Cite this as:
"ROBDD", 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/robdd.html