The following pages link to Horn functions and their DNFs (Q1195858):
Displaying 4 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)
- Recognition of interval Boolean functions (Q1029585) (← links)