Lu dans The Art of Computer Programming de Donald E. Knuth, volume 4A, Combinatorial Algorithms, Part 1, 2011, en tête du chapitre 7.1.4, une citation de Wikipédia, de l'article Binary Decision Diagram :

In popular usage, the term BDD almost always refers to Reduced Ordered Binary Decision Diagram (ROBDD in the literature, used when the ordering and reduction aspects need to be emphasized). — WIKIPEDIA, The Free Encyclopedia (7 July 2007)