Pages that link to "Item:Q2017631"

The following pages link to Minimization of binary decision diagrams for systems of incompletely defined Boolean functions (Q2017631):

Displaying 7 items.

• Decomposition of systems of Boolean functions determined by binary decision diagrams (Q353738) (← links)
• On the size of binary decision diagrams representing Boolean functions (Q673087) (← links)
• Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram (Q893916) (← links)
• Hardness of indentifying the minimum ordered binary decision diagram (Q1841888) (← links)
• Approximate algorithms for minimization of binary decision diagrams on the basis of linear transformations of variables (Q2487684) (← links)
• Minimizing binary decision diagrams for systems of incompletely defined Boolean functions using algebraic cofactor expansions (Q2695132) (← links)
• Minimization of Word-Level Decision Diagrams (Q4788457) (← links)