Pages that link to "Item:Q968115"
From MaRDI portal
The following pages link to Exclusive and essential sets of implicates of Boolean functions (Q968115):
Displaying 9 items.
- A decomposition method for CNF minimality proofs (Q392185) (← links)
- Boolean functions with a simple certificate for CNF complexity (Q412324) (← links)
- A subclass of Horn CNFs optimally compressible in polynomial time (Q693287) (← links)
- On implicational bases of closure systems with unique critical sets. (Q741717) (← links)
- Disjoint essential sets of implicates of a CQ Horn function (Q766268) (← links)
- Learning a propagation complete formula (Q2170198) (← links)
- Hardness results for approximate pure Horn CNF formulae minimization (Q2254607) (← links)
- Boolean functions with long prime implicants (Q2445231) (← links)
- The ghosts of forgotten things: a study on size after forgetting (Q6560989) (← links)
