Disambiguation evidence for OBDDs via surface form

"Binary Decision Diagrams (BDDs)"

Triples (1)

Triples where some other subject referred to this entity as "Binary Decision Diagrams (BDDs)".

NuSMV → usesTechnique →
"Binary Decision Diagrams (BDDs)"
↳ resolves to OBDDs
ⓘ