reduced ordered binary decision diagram
C58140
concept
A reduced ordered binary decision diagram (ROBDD) is a canonical, compact graph-based representation of a Boolean function where variables appear in a fixed order and redundant or isomorphic subgraphs are merged.
Observed surface forms (1)
- canonical representation of Boolean functions ×1
Instances (1)
-
OBDDs
via concept surface "canonical representation of Boolean functions"
surface form: OBDD