A unifying approach to edge-valued and arithmetic transform decision diagrams (Q1778578)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A unifying approach to edge-valued and arithmetic transform decision diagrams |
scientific article |
Statements
A unifying approach to edge-valued and arithmetic transform decision diagrams (English)
0 references
17 June 2005
0 references
binary decision diagrams (BDDs)
0 references
edge-valued binary decision diagrams (EVBDDs)
0 references
arithmetic transform decision diagrams (ACDDs)
0 references
functional decision diagrams (FDDs)
0 references
multi-terminal binary decision diagrams (MTBDDs)
0 references
