MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  A Preview of OPL

Download:
Download as a PDF | Download as a PS
by Pascal Van Hentenryck
http://www.cs.brown.edu/people/pvh/paclp.ps
Add To MetaCart

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 columngeneration applications. This paper illustrates some of the functionalities of OPL using sport-scheduling, and job-shop scheduling applications. It also illustrates how OPL models can be composed using OPLSCRIPT on a simple configuration example. 1

Citations

891 Consistency in a network of relations – Mackworth - 1977
290 The Oz programming model – Smolka - 1995
289 An introduction to Prolog III – Colmerauer - 1990
251 The constraint logic programming language CHIP – Dincbas, Hentenryck, et al. - 1988
251 AMPL: A Modelling Language for – Fourier, Gay, et al. - 2003
214 A filtering algorithm for constraints of difference in CSPs – Régin - 1994
193 Limited discrepancy search – Harvey, Ginsberg - 1995
148 The OPL Optimization Programming Language – Hentenryck - 1999
109 Generalized arc consistency for global cardinality constraints – Régin - 1996
46 On the development of a general algebraic modeling system in a strategic planning environment – Bisschop, Meeraus - 1982
29 Constraint programming in OPL – Hentenryck, Michel, et al. - 1999
18 Sports league scheduling – McAloon, Tretkoff, et al. - 1997
4 Sport league scheduling – Regin - 1998
3 OPL Script: Composing and Controlling Models – Hentenryck - 1999