Mixed logical-linear programming

This publication has 48 references indexed in Scilit:

• Logical inference and polyhedral projection
  Published by Springer Nature ,2005
• Logic applied to integer programming and integer programming applied to logic
  European Journal of Operational Research, 1995
• Logic cuts for processing networks with fixed charges
  Computers & Operations Research, 1994
• Symbolic integration of logic in MILP branch and bound methods for the synthesis of process networks
  Annals of Operations Research, 1993
• Extended Horn sets in propositional logic
  Journal of the ACM, 1991
• An algorithm for disjunctive programs
  European Journal of Operational Research, 1990
• An introduction to Prolog III
  Communications of the ACM, 1990
• An optimal k-consistency algorithm
  Artificial Intelligence, 1989
• A quantitative approach to logical inference
  Decision Support Systems, 1988
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965