Chain reduction for binary and zero-suppressed decision diagrams (Q5919001)
From MaRDI portal
scientific article; zbMATH DE number 7268907
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Chain reduction for binary and zero-suppressed decision diagrams |
scientific article; zbMATH DE number 7268907 |
Statements
Chain reduction for binary and zero-suppressed decision diagrams (English)
0 references
2 November 2020
0 references
binary decision diagrams
0 references
zero-suppressed binary decision diagrams
0 references
Boolean functions
0 references
