Pages that link to "Item:Q412324"
From MaRDI portal
The following pages link to Boolean functions with a simple certificate for CNF complexity (Q412324):
Displaying 4 items.
- Disjoint essential sets of implicates of a CQ Horn function (Q766268) (← links)
- Recognition of tractable DNFs representable by a constant number of intervals (Q1751204) (← links)
- Diameter Versus Certificate Complexity of Boolean Functions (Q6168445) (← links)
- The ghosts of forgotten things: a study on size after forgetting (Q6560989) (← links)
