Superset Generation on Decision Diagrams (Q5176594)
From MaRDI portal
scientific article; zbMATH DE number 6409093
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Superset Generation on Decision Diagrams |
scientific article; zbMATH DE number 6409093 |
Statements
Superset Generation on Decision Diagrams (English)
0 references
27 February 2015
0 references
superset
0 references
binary decision diagram
0 references
zero-suppressed binary decision diagram
0 references
cause-effect relationship
0 references
Boolean completion
0 references
