DMCA
Constraint Programming in OPL (1999)
| Venue: | In Proceedings of the International Conference on the Principles and Practice of Declarative Programming (PPDP'99 |
| Citations: | 37 - 6 self |
BibTeX
@INPROCEEDINGS{Hentenryck99constraintprogramming,
author = {P. Van Hentenryck and L. Michel and L. Perron and J.-C. Régin},
title = {Constraint Programming in OPL},
booktitle = {In Proceedings of the International Conference on the Principles and Practice of Declarative Programming (PPDP'99},
year = {1999},
pages = {98--116},
publisher = {Springer-Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notations from modeling languages with a rich constraint language and the ability to specify search procedures and strategies that is the essence of constraint programming. In addition, OPL models can be controlled and composed using OPLSCRIPT, a script language that simplifies the development of applications that solve sequences of models, several instances of the same model, or a combination of both as in column-generation applications. This paper illustrates some of the functionalities of OPL for constraint programming using frequency allocation, sport-scheduling, and job-shop scheduling applications. It also illustrates how OPL models can be composed using OPLSCRIPT on a simple configuration example.
Keyphrases
constraint programming opl model first modeling language high-level algebraic search procedure job-shop scheduling application column-generation application mathematical programming several instance frequency allocation modeling language script language combinatorial optimization problem simple configuration example rich constraint language
