Binary Decision Diagram
An efficient data structure for representing boolean functions.
The most commongly used
BDD today are actually Reduced Order
BDD.
This is a version of
BDD that maximal share subgraphs.
Paper about ROBDD attached.
--
KrisDeVolder - 09 May 2005