Hooker, John N. Yan, Hong Center., Carnegie Mellon University.Engineering Design Research Horn cardinality rules Abstract: "We address the problem of finding a 'tight' representation of Horn cardinality rules in a mixed integer programming model by describing a convex hull of it. A cardinality Horn rule asserts that if at least k of the propositions AΓéü,...,A[subscript m] are true, then B is true. We also show that Horn cardinality rules have properties analogous to ordinary Horn rules." Horn clauses. 2007-09-23
    https://kilthub.cmu.edu/articles/journal_contribution/Horn_cardinality_rules/6705788
10.1184/R1/6705788.v1