A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams (Q4617985)
From MaRDI portal
scientific article; zbMATH DE number 7014571
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams |
scientific article; zbMATH DE number 7014571 |
Statements
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams (English)
0 references
7 February 2019
0 references
binary decision diagrams
0 references
Common Lisp
0 references
Boolean simplification
0 references
data structures
0 references
0 references
