闫红;胡克，J.N。 将逻辑约束严格表示为基数规则。 （英文） Zbl 0954.90043号 数学。程序。 85，第2（A）号，363-377（1999）. 摘要：数学规划模型可能包含定性和定量元素。例如，人们可能希望将规则库与数字约束结合起来。这就提出了如何以不等式形式表示逻辑约束的问题，以便它们具有有用的线性松弛。我们提供了一个简单的递归过程，可以生成任何逻辑条件的凸包描述，这些条件可以写成“基数规则”，这似乎是一种在实践中经常出现的形式。基数规则断言，如果命题\（A_1，\dots，A_m\）中至少\（k\）为真，则命题\（B_1，\dots，B_n\）中至少\（\ell\）为真。本文的主要结果是，该过程实际上提供了凸壳描述。 引用于1审查引用于11文件 MSC公司： 90C27型 组合优化 03B05号 经典命题逻辑 关键词：数学规划模型;不等式形式的逻辑约束;线性松弛;凸包描述 PDF格式BibTeX公司 XML格式引用 \textit{H.Yan}和\textit{J.N.Hooker}，数学。程序。85，第2号（A），363--377（1999；Zbl 0954.90043） 全文： 内政部 链接