OBDD

(redirected from Ordered Binary Decision Diagram)
AcronymDefinition
OBDDOrdered Binary Decision Diagram
OBDDOrdered Bicontinuous Double Diamond
References in periodicals archive ?
An ordered binary decision diagram (OBDD) is a BDD with a constant order for Boolean variables.