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):
Displayed 3 items.
- 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)
- An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method (Q2341728) (← links)