Mixed logical-linear programming
Authors:
- J.N. HookerJHJ.N. Hooker
- M.A. OsorioMOM.A. Osorio
- 1 October 1999
- journal article
- Published by Elsevier in Discrete Applied Mathematics
- Vol. 96-97 (1) , 395-442
Abstract
No abstract availableKeywords
This publication has 47 references indexed in Scilit:
- Logic applied to integer programming and integer programming applied to logicEuropean Journal of Operational Research, 1995
- Logic cuts for processing networks with fixed chargesComputers & Operations Research, 1994
- Symbolic integration of logic in MILP branch and bound methods for the synthesis of process networksAnnals of Operations Research, 1993
- Extended Horn sets in propositional logicJournal of the ACM, 1991
- An algorithm for disjunctive programsEuropean Journal of Operational Research, 1990
- An introduction to Prolog IIICommunications of the ACM, 1990
- Compact normal forms in propositional logic and integer programming formulationsComputers & Operations Research, 1990
- An optimal k-consistency algorithmArtificial Intelligence, 1989
- A quantitative approach to logical inferenceDecision Support Systems, 1988
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965