Pages that link to "Item:Q2487684"
From MaRDI portal
The following pages link to Approximate algorithms for minimization of binary decision diagrams on the basis of linear transformations of variables (Q2487684):
Displaying 6 items.
- On the computational power of linearly transformed BDDs (Q294813) (← links)
- Linearization of logical functions defined by a set of orthogonal terms. I: Theoretical aspects (Q647776) (← links)
- Classification of Boolean functions by the invariants of their matrix representation (Q885716) (← links)
- Efficient algorithms for the transformation between different types of binary decision diagrams (Q1357805) (← links)
- Minimization of binary decision diagrams for systems of incompletely defined Boolean functions (Q2017631) (← links)
- (Q5414587) (← links)