Pages that link to "Item:Q1605409"
From MaRDI portal
The following pages link to Ordered binary decision diagrams as knowledge-bases (Q1605409):
Displaying 5 items.
- Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram (Q893916) (← links)
- Translation among CNFs, characteristic models and ordered binary decision diagrams (Q1007523) (← links)
- Experimental comparison of decomposition methods for systems of Boolean function (Q1743029) (← links)
- Reasoning with ordered binary decision diagrams (Q1878409) (← links)
- Minimization of binary decision diagrams for systems of incompletely defined Boolean functions (Q2017631) (← links)
