Algorithms for Hybrid MILP/CP Models for a Class of Optimization Problems
Top Cited Papers
- 1 November 2001
- journal article
- Published by Institute for Operations Research and the Management Sciences (INFORMS) in INFORMS Journal on Computing
- Vol. 13 (4) , 258-276
- https://doi.org/10.1287/ijoc.13.4.258.9733
Abstract
The goal of this paper is to develop models and methods that use complementary strengths of Mixed Integer Linear Programming (MILP) and Constraint Programming (CP) techniques to solve problems that are otherwise intractable if solved using either of the two methods. The class of problems considered in this paper have the characteristic that only a subset of the binary variables have non-zero objective function coefficients if modeled as an MILP. This class of problems is formulated as a hybrid MILP/CP model that involves some of the MILP constraints, a reduced set of the CP constraints, and equivalence relations between the MILP and the CP variables. An MILP/CP based decomposition method and an LP/CP-based branch-and-bound algorithm are proposed to solve these hybrid models. Both these algorithms rely on the same relaxed MILP and feasibility CP problems. An application example is considered in which the least-cost schedule has to be derived for processing a set of orders with release and due dates using a set of dissimilar parallel machines. It is shown that this problem can be modeled as an MILP, a CP, a combined MILP-CP OPL model (Van Hentenryck 1999), and a hybrid MILP/CP model. The computational performance of these models for several sets shows that the hybrid MILP/CP model can achieve two to three orders of magnitude reduction in CPU time.Keywords
This publication has 23 references indexed in Scilit:
- Hybrid mixed-integer/constraint logic programming strategies for solving scheduling and combinatorial optimization problemsComputers & Chemical Engineering, 2000
- Optimization Methods for Logical InferencePublished by Wiley ,1999
- Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint ProgrammingINFORMS Journal on Computing, 1998
- Properties of Some Combinatorial Optimization Problems and Their Effect on the Performance of Integer Programming and Constraint Logic ProgrammingINFORMS Journal on Computing, 1998
- Branch-and-Price: Column Generation for Solving Huge Integer ProgramsOperations Research, 1998
- Constraint Logic Programming and Integer Programming approaches and their collaboration in solving an assignment scheduling problemConstraints, 1997
- Mixed 0-1 Programming by Lift-and-Project in a Branch-and-Cut FrameworkManagement Science, 1996
- An Algorithm for Solving the Job-Shop ProblemManagement Science, 1989
- Prolog in 10 figuresCommunications of the ACM, 1985
- Generalized Benders decompositionJournal of Optimization Theory and Applications, 1972