Pages that link to "Item:Q1392203"
From MaRDI portal
The following pages link to Horn functions and submodular Boolean functions (Q1392203):
Displaying 9 items.
- Generating all maximal models of a Boolean expression (Q294760) (← links)
- Incremental polynomial time dualization of quadratic functions and a subclass of degree-\(k\) functions (Q646712) (← links)
- Generalising submodularity and Horn clauses: Tractable optimization problems defined by tournament pair multimorphisms (Q935141) (← links)
- Double Horn functions (Q1271644) (← links)
- Recognition and dualization of disguised bidual Horn functions. (Q1853017) (← links)
- Disjunctive analogues of submodular and supermodular pseudo-Boolean functions (Q1878401) (← links)
- Bidual Horn functions and extensions (Q1961447) (← links)
- Submodular Functions: Learnability, Structure, and Optimization (Q4564777) (← links)
- Union-closed sets and Horn Boolean functions (Q6144385) (← links)
