Results 1 
4 of
4
Constraint Programming in OPL
 In Proceedings of the International Conference on the Principles and Practice of Declarative Programming (PPDP'99
, 1999
"... OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine highlevel algebraic and set notations from modeling languages with a rich constraint language and the ability to specify search procedures and strategies tha ..."
Abstract

Cited by 35 (5 self)
 Add to MetaCart
(Show Context)
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine highlevel 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 for constraint programming using frequency allocation, sportscheduling, and jobshop scheduling applications. It also illustrates how OPL models can be composed using OPLSCRIPT on a simple configuration example.
Constraint and Integer Programming in OPL
 INFORMS Journal on Computing
, 2002
"... 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 la ..."
Abstract

Cited by 26 (7 self)
 Add to MetaCart
(Show Context)
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 constraintprogramming approach to combinatorial optimization and the complementary strengths of constraint and integer programming. (Artificial Intelligence; Computer Science; Integer Programming) 1.
OPL++: A Modeling Layer for Constraint Programming Libraries
 INFORMS JOURNAL ON COMPUTING
, 2001
"... Mathematical modeling and constraint programming languages have orthogonal strengths in stating combinatorial optimization problems. Modeling languages typically feature highlevel set and algebraic notations, while constraint programming languages provide a rich constraint language and the abili ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
Mathematical modeling and constraint programming languages have orthogonal strengths in stating combinatorial optimization problems. Modeling languages typically feature highlevel set and algebraic notations, while constraint programming languages provide a rich constraint language and the ability to specify search procedures. This paper shows that many of the functionalities typically found in modeling languages can be integrated elegantly in constraint programming libraries without dening a specic language or preprocessor. In particular, it presents the design of OPL++, a C++ modeling layer for constraint programming that combines the salient features of both approaches. Of particular interest is the onetoone correspondance between highlevel models and OPL++ statements and the negligible overhead induced by the extensions.
A Preview of OPL
"... OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine highlevel algebraic and set notations from modeling languages with a rich constraint language and the ability to specify search procedures and strategies ..."
Abstract
 Add to MetaCart
(Show Context)
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine highlevel 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 sportscheduling, and jobshop scheduling applications. It also illustrates how OPL models can be composed using OPLSCRIPT on a simple configuration example. 1 Introduction Combinatorial optimization problems are ubiquitous in many practical applications, including scheduling, resource allocation, planning, a...