| Article ID: | iaor1991243 |
| Country: | United Kingdom |
| Volume: | 17 |
| Start Page Number: | 561 |
| End Page Number: | 570 |
| Publication Date: | Jul 1990 |
| Journal: | Computers and Operations Research |
| Authors: | Cavalier Tom M., Pardalos Panis M., Soyster Allen M. |
| Keywords: | programming: integer, artificial intelligence: expert systems |
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. It also identifies some special structures associated with the constriant sets and discusses several fundamental results concerning methods of preprocessing the logical inferences into constraints.