Journal Article10.1287/IJOC.14.4.345.2826
Constraint and Integer Programming in OPL
89
TL;DR: The purpose of this paper is to illustrate, using OPL, the constraint-programming approach to combinatorial optimization and the complementary strengths of constraint and integer programming.
read more
Abstract: In recent years, it has been increasingly recognized that constraint and integer programming have orthogonal and complementary strengths in stating and solving combinatorial optimization applications. In addition, their integration has become an active research topic. The optimization programming language OPL was a first attempt at integrating these technologies both at the language and at the solver levels. In particular, OPL is a modeling language integrating the rich language of constraint programming and the ability to specify search procedures at a high level of abstraction. Its implementation includes both constraint and mathematical programming solvers, as well as some cooperation schemes to make them collaborate on a given problem. The purpose of this paper is to illustrate, using OPL, the constraint-programming approach to combinatorial optimization and the complementary strengths of constraint and integer programming.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Book
Handbook of Constraint Programming
Francesca Rossi,Peter van Beek,Toby Walsh +2 more
- 01 Jan 2006
TL;DR: Researchers from other fields should find in this handbook an effective way to learn about constraint programming and to possibly use some of the constraint programming concepts and techniques in their work, thus providing a means for a fruitful cross-fertilization among different research areas.
State-of-the-art review of optimization methods for short-term scheduling of batch processes
TL;DR: The main goal of this paper is to provide an up-to-date review of the state-of-the-art in this challenging area of short-term batch scheduling, with a general classification for scheduling problems of batch processes as well as for the corresponding optimization models.
844
•Book
Constraint-based local search
Pascal Van Hentenryck,Laurent Michel +1 more
- 01 Jan 2005
TL;DR: This book introduces a method for solving combinatorial optimization problems that combines constraint programming and localsearch, using constraints to describe and control local search, and a programming language, COMET, that supports both modeling and search abstractions in the spirit of constraint programming.
407
A hybrid MILP/CP decomposition approach for the continuous time scheduling of multipurpose batch plants
TL;DR: A hybrid Mixed-Integer Linear Programming (MILP)/Constraint Programming (CP) decomposition algorithm is proposed for the short-term scheduling of batch plants that rely on the State Task Network (STN) representation and can be used for the solution of almost all batch scheduling problems.
158
A decomposition framework for the scheduling of single- and multi-stage processes
TL;DR: A novel preprocessing algorithm that identifies infeasible assignments and generates tightening constraints for the assignment subproblem is developed, which significantly reduces the number of sequencing subproblems needed to find the optimal solution and prove optimality.
89
References
•Book
Integer programming
George L. Nemhauser,Laurence A. Wolsey +1 more
- 01 Jan 1972
TL;DR: The principles of integer programming are directed toward finding solutions to problems from the fields of economic planning, engineering design, and combinatorial optimization as mentioned in this paper, which is a standard of graduate-level courses since 1972.
4.6K
•Proceedings Article
Proceedings of the 19th International Joint Conference on Artificial Intelligence
Josep M. Pujol,Jordi Delgado,Ramon Sangüesa,Andreas Flache +3 more
- 01 Jan 2005
4.5K
•Book
AMPL: A Modeling Language for Mathematical Programming
Robert Fourer,Brian W. Kernighan +1 more
- 01 Jan 1993
TL;DR: An efficient translator is implemented that takes as input a linear AMPL model and associated data, and produces output suitable for standard linear programming optimizers.
3.2K
•Book
AMPL : a modeling language for mathematical programming
Robert Fourer,Brian W. Kernighan +1 more
- 01 Jan 2003
TL;DR: AMPL as mentioned in this paper is a language designed to make the optimization of large-scale mathematical programs easier and less error-prone than traditional linear programming optimizers, and it can be extended to more general mathematical programs that incorporate nonlinear expressions or discrete variables.
2.8K
Consistency in Networks of Relations
TL;DR: The primary aim is to provide an accessible, unified framework, within which to present the algorithms including a new path consistency algorithm, to discuss their relationships and the may applications, both realized and potential of network consistency algorithms.
2.8K