Modeling and integer programming techniques applied to propositional calculus
Modeling and integer programming techniques applied to propositional calculus
复制标题
DOI：
10.1016/0305-0548(90)90062-c
复制
发表时间：
1990-10
期刊：
影响因子：
--
通讯作者：
T. M. Cavalier;P. Pardalos;A. Soyster
中科院分区：
文献类型：
--
作者：
T. M. Cavalier;P. Pardalos;A. Soyster
本文讨论了从命题微积分问题构造0-1整数规划问题的几种方法，以及使用由此产生的数学程序来解决相关的逻辑问题。本文还指出了与约束集相关的一些特殊结构，并讨论了将逻辑推理预处理为约束的几个基本结果。
This paper discusses alternative methods for constructing a 0–1 integer programming problem from a propositional calculus problem and the use of the resulting mathematical program to solve the related logic problem. This paper also identifies some special structures associated with the constraint sets and discusses several fundamental results concerning methods of preprocessing the logical inferences into constraints.