A new approach to integrating mixed integer programming and constraint logicprogramming

R. Rodosek, M.G. Wallace and M.T. Hajian

Annals of Operations Research, 1999, vol. 86, issue 0, 63-87

Abstract: This paper represents an integration of Mixed Integer Programming (MIP) and ConstraintLogic Programming (CLP) which, like MIP, tightens bounds rather than adding constraintsduring search. The integrated system combines components of the CLP system ECLiPSe[7] and the MIP system CPLEX [5], in which constraints can be handled by either one orboth components. Our approach is introduced in three stages. Firstly, we present an automatictransformation which maps CLP programs onto such CLP programs that any disjunction iseliminated in favour of auxiliary binary variables. Secondly, we present improvements ofthis mapping by using a committed choice operator and translations of pre‐defined non‐linearconstraints. Thirdly, we introduce a new hybrid algorithm which reduces the solutionspace of the problem progressively by calling finite domain propagation of ECLiPSe aswell as dual simplex of CPLEX. The advantages of this integration are illustrated by efficientlysolving difficult optimisation problems like the Hoist Scheduling Problem [23]and the Progressive Party Problem [27]. Copyright Kluwer Academic Publishers 1999

Date: 1999
References: Add references at CitEc
Citations: View citations in EconPapers (9)

Downloads: (external link)
http://hdl.handle.net/10.1023/A:1018904229454 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:annopr:v:86:y:1999:i:0:p:63-87:10.1023/a:1018904229454

Ordering information: This journal article can be ordered from
http://www.springer.com/journal/10479

DOI: 10.1023/A:1018904229454

Access Statistics for this article

Annals of Operations Research is currently edited by Endre Boros

More articles in Annals of Operations Research from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().