Pages that link to "Item:Q1759859"

The following pages link to On the gap between \(\mathit{ess}(f)\) and \(\mathit{cnf}_{-}\mathit{size}(f)\) (Q1759859):

Displaying 4 items.

• Boolean functions with a simple certificate for CNF complexity (Q412324) (← links)
• The arity gap of order-preserving functions and extensions of pseudo-Boolean functions (Q412326) (← links)
• Exclusive and essential sets of implicates of Boolean functions (Q968115) (← links)
• A purely model-theoretic proof of the exponential succinctness gap between CTL\(^{+}\) and CTL (Q975478) (← links)