Pages that link to "Item:Q1277344"
From MaRDI portal
The following pages link to Horn minimization by iterative decomposition (Q1277344):
Displaying 12 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)
- Horn functions and their DNFs (Q1195858) (← links)
- Optimal compression of propositional Horn knowledge bases: Complexity and approximation (Q1313951) (← links)
- On functional dependencies in \(q\)-Horn theories (Q1606330) (← links)
- Strong duality in Horn minimization (Q1679964) (← 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)