Pages that link to "Item:Q1277344"
From MaRDI portal
The following pages link to Horn minimization by iterative decomposition (Q1277344):
Displayed 9 items.
- A decomposition method for CNF minimality proofs (Q392185) (← links)
- Relations between threshold and \(k\)-interval Boolean functions (Q646713) (← links)
- A subclass of Horn CNFs optimally compressible in polynomial time (Q693287) (← links)
- Disjoint essential sets of implicates of a CQ Horn function (Q766268) (← links)
- Exclusive and essential sets of implicates of Boolean functions (Q968115) (← links)
- On functional dependencies in \(q\)-Horn theories (Q1606330) (← links)
- Recognition of tractable DNFs representable by a constant number of intervals (Q1751204) (← links)
- Boolean functions with long prime implicants (Q2445231) (← links)
- Approximating Minimum Representations of Key Horn Functions (Q5863327) (← links)