A unifying approach to edge-valued and arithmetic transform decision diagrams (Q1778578)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A unifying approach to edge-valued and arithmetic transform decision diagrams |
scientific article; zbMATH DE number 2176868
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A unifying approach to edge-valued and arithmetic transform decision diagrams |
scientific article; zbMATH DE number 2176868 |
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
0.84341246
0 references