Pages that link to "Item:Q5151439"
From MaRDI portal
The following pages link to A METHOD FOR BI-DECOMPOSITION OF PARTIAL BOOLEAN FUNCTIONS (Q5151439):
Displaying 6 items.
- Bi-decomposition of function sets in multiple-valued logic for circuit design and data mining (Q704636) (← links)
- Decomposition of a system of incompletely specified Boolean functions defined with a binary decision diagram (Q893916) (← links)
- A new approach to the decomposition of Boolean functions. IV. Non-disjoint decomposition: the method of \(p,q\)-partitions (Q1040397) (← links)
- Experimental comparison of decomposition methods for systems of Boolean function (Q1743029) (← links)
- Biabduction (and related problems) in array separation logic (Q2405270) (← links)
- A new approach to the decomposition of Boolean functions by the method of \(q\)-partitions. III: Joint decomposition of a function system (Q2458042) (← links)