#### DMCA

## Constraint Programming in OPL (1999)

Venue: | In Proceedings of the International Conference on the Principles and Practice of Declarative Programming (PPDP'99 |

Citations: | 35 - 5 self |

### Citations

1137 |
Consistency in networks of relations
- Mackworth
- 1977
(Show Context)
Citation Context ...nd, the sport-scheduling application demonstrates fundamental features of constraint programming including global and symbolic constraints. In particular, the model makes heavy use of arc-consistency =-=[6]-=-, a fundamental constraint satisfaction techniques from artificial intelligence. The rest of this section is organized as follows. Section 3.1 presents an OPL model that solves the 14-teams problem in... |

483 |
AMPL: A Modeling Language for
- Fourer, Gay, et al.
- 2002
(Show Context)
Citation Context ... efficiency of specialized programs. Most tools can be classified in two categories: mathematical modeling languages and constraint programming languages. Mathematical modeling languages such as AMPL =-=[4]-=- and GAMS [1] provides very high-level algebraic and set notations to express concisely mathematical problems that can then be solved using state-of-the-art solvers. These modeling languages do not re... |

376 |
A filtering algorithm for constraints of difference in CSPs
- Régin
- 1994
(Show Context)
Citation Context ... w must be different. It uses an aggregate operator all to collect the appropriate team variables by iterating over the periods and the slots and an annotation onDomain to enforce arc consitency. See =-=[8]-=- for a description on how to enforce arc consistency on this global constraint. The constraint distribute(occur,values,all(w in EWeeks & s in Slots) team[p,w,s]) extendedPropagation specifies that a t... |

312 | The Oz Programming Model
- Smolka
- 1995
(Show Context)
Citation Context ...lvers. These modeling languages do not require specific programming skills and can be used by a wide audience. Constraint programming languages such as CHIP [3], Prolog III and its successors [2], OZ =-=[12]-=-, and Ilog Solver [11] have orthogonal strenghts. Their constraint languages, and their underlying solvers, go beyond traditional linear and nonlinear constraints and support logical, high-order, and ... |

308 |
An introduction to Prolog III
- Colmerauer
- 1990
(Show Context)
Citation Context ...e-art solvers. These modeling languages do not require specific programming skills and can be used by a wide audience. Constraint programming languages such as CHIP [3], Prolog III and its successors =-=[2]-=-, OZ [12], and Ilog Solver [11] have orthogonal strenghts. Their constraint languages, and their underlying solvers, go beyond traditional linear and nonlinear constraints and support logical, high-or... |

302 | Limited Discrepancy Search
- Harvey, Ginsberg
- 1995
(Show Context)
Citation Context ...h() f forall(r in Machines ordered by increasing localSlack(tool[r])) rank(tool[r]); g g illustrates a typical search procedure for job-shop scheduling and the use of limited discrepancy search (LDS) =-=[5]-=- as a search strategy. The search procedure forall(r in Machines ordered by increasing localSlack(tool[r])) rank(u[r]); consists of ranking the unary resources, i.e., choosing in which order the activ... |

266 |
The constraint logic programming language CHIP
- Dincbas, Hentenryck, et al.
- 1988
(Show Context)
Citation Context ...an then be solved using state-of-the-art solvers. These modeling languages do not require specific programming skills and can be used by a wide audience. Constraint programming languages such as CHIP =-=[3]-=-, Prolog III and its successors [2], OZ [12], and Ilog Solver [11] have orthogonal strenghts. Their constraint languages, and their underlying solvers, go beyond traditional linear and nonlinear const... |

252 |
P.: The OPL Optimization programming Language
- Hentenryck
- 1999
(Show Context)
Citation Context ...riginated as an attempt to unify modeling and constraint programming languages and their underlying implementation technologies. It led to the development of the optimization programming language OPL =-=[13]-=-, its associated script language OPLSCRIPT [14], and its development environment OPL STUDIO. OPL is a modeling language sharing high-level algebraic and set notations with traditional modeling languag... |

204 | Cost-based arc consistency for global cardinality constraints. Constraints 7:387–405
- Régin
(Show Context)
Citation Context ...n the set of variables specified by the third argument that collects all variables playing in period p. The annotation extendedPropagation specifies to enforce arc consistency on this constraint. See =-=[9]-=- for a description on how to enforce arc consistency on this global constraint. The constraint alldifferent(game) onDomain; specifies that all games are different, i.e., that all teams play against ea... |

86 |
On the development of a general algebraic modeling system in a strategic planning environment
- Bisschop, Meeraus
- 1982
(Show Context)
Citation Context ...f specialized programs. Most tools can be classified in two categories: mathematical modeling languages and constraint programming languages. Mathematical modeling languages such as AMPL [4] and GAMS =-=[1]-=- provides very high-level algebraic and set notations to express concisely mathematical problems that can then be solved using state-of-the-art solvers. These modeling languages do not require specifi... |

20 | Sports league scheduling
- McAloon, Tretko, et al.
- 1997
(Show Context)
Citation Context ...le. Note that, on the instance depicted in Figure 2, OPL returns a solution with 95 frequencies in about 3 seconds. 3 Sport Scheduling This section considers the sport-scheduling problem described in =-=[7, 10]-=-. The problem consists of scheduling games between n teams over n \Gamma 1 weeks. In addition, each week is divided into n=2 periods. The goal is to schedule a game for each period of every week so th... |

6 | OPL Script: Composing and Controlling Models
- Hentenryck
- 1999
(Show Context)
Citation Context ...onstraint programming languages and their underlying implementation technologies. It led to the development of the optimization programming language OPL [13], its associated script language OPLSCRIPT =-=[14]-=-, and its development environment OPL STUDIO. OPL is a modeling language sharing high-level algebraic and set notations with traditional modeling languages. It also contains some novel functionalities... |

4 |
Sport league scheduling
- Régin
- 1998
(Show Context)
Citation Context ...le. Note that, on the instance depicted in Figure 2, OPL returns a solution with 95 frequencies in about 3 seconds. 3 Sport Scheduling This section considers the sport-scheduling problem described in =-=[7, 10]-=-. The problem consists of scheduling games between n teams over n \Gamma 1 weeks. In addition, each week is divided into n=2 periods. The goal is to schedule a game for each period of every week so th... |