Pages that link to "Item:Q893916"
From MaRDI portal
The following pages link to Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram (Q893916):
Displaying 4 items.
- Decomposition of systems of Boolean functions determined by binary decision diagrams (Q353738) (← links)
- Minimization of binary decision diagrams for systems of incompletely defined Boolean functions (Q2017631) (← links)
- Decomposing a system of Boolean functions into subsystems of connected functions (Q2290478) (← links)
- Minimizing binary decision diagrams for systems of incompletely defined Boolean functions using algebraic cofactor expansions (Q2695132) (← links)