Variable orderings and the size of OBDDs for random partially symmetric Boolean functions (Q4705323)
From MaRDI portal
scientific article; zbMATH DE number 1380588
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Variable orderings and the size of OBDDs for random partially symmetric Boolean functions |
scientific article; zbMATH DE number 1380588 |
Statements
19 December 1999
0 references
ordered binary decision diagrams
0 references
random partially symmetric functions
0 references
random Boolean matrices
0 references
Variable orderings and the size of OBDDs for random partially symmetric Boolean functions (English)
0 references
