A comparison of free BDDs and transformed BDDs (Q5949487)
From MaRDI portal
scientific article; zbMATH DE number 1675856
Language | Label | Description | Also known as |
---|---|---|---|
English | A comparison of free BDDs and transformed BDDs |
scientific article; zbMATH DE number 1675856 |
Statements
A comparison of free BDDs and transformed BDDs (English)
0 references
2001
0 references
ordered binary decision diagrams
0 references