Approximate algorithms for minimization of binary decision diagrams on the basis of linear transformations of variables (Q2487684)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Approximate algorithms for minimization of binary decision diagrams on the basis of linear transformations of variables |
scientific article |
Statements
Approximate algorithms for minimization of binary decision diagrams on the basis of linear transformations of variables (English)
0 references
8 August 2005
0 references
binary decision diagrams
0 references
polynomial complexity
0 references