Randal E. Bryant
E2000677
UNEXPLORED
Randal E. Bryant is a computer scientist best known for pioneering ordered binary decision diagrams (OBDDs), which became a fundamental data structure in formal verification and logic synthesis.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Randal E. Bryant canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject linked to:
OBDDs