Pages that link to "Item:Q693287"

The following pages link to A subclass of Horn CNFs optimally compressible in polynomial time (Q693287):

Displayed 3 items.

• A decomposition method for CNF minimality proofs (Q392185) ‎ (← links)
• Disjoint essential sets of implicates of a CQ Horn function (Q766268) ‎ (← links)
• Boolean functions with long prime implicants (Q2445231) ‎ (← links)