Pages that link to "Item:Q353738"
From MaRDI portal
The following pages link to Decomposition of systems of Boolean functions determined by binary decision diagrams (Q353738):
Displaying 12 items.
- BDD-based decompositions of multiple output logic functions (Q620066) (← links)
- On the size of binary decision diagrams representing Boolean functions (Q673087) (← links)
- Methods for decomposition of Boolean functions: algorithms, quality indices, and applications (Q880736) (← links)
- Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram (Q893916) (← links)
- Decomposition of Boolean functions applying the apparatus of Boolean derivatives (Q1057236) (← links)
- A new approach to the decomposition of Boolean functions by the method of \(q\)-partitions. I: Separating decomposition of full and partial functions (Q1407295) (← links)
- Experimental comparison of decomposition methods for systems of Boolean function (Q1743029) (← 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)
- An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method (Q2341728) (← links)
- Minimizing binary decision diagrams for systems of incompletely defined Boolean functions using algebraic cofactor expansions (Q2695132) (← links)
- Decomposition of multi-output Boolean functions (Q2895123) (← links)
