Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Entire DC Network
Horn Cardinality Rules, John N. Hooker, Hong Yan, Carnegie Mellon University.Engineering Design Research Center.
Horn Cardinality Rules, John N. Hooker, Hong Yan, Carnegie Mellon University.Engineering Design Research Center.
John Hooker
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."