A Modeling Layer for Constraint-Programming Libraries
Guardado en:
| Udgivet i: | INFORMS Journal on Computing vol. 17, no. 4 (Fall 2005), p. 389-401 |
|---|---|
| Hovedforfatter: | |
| Andre forfattere: | |
| Udgivet: |
Institute for Operations Research and the Management Sciences
|
| Fag: | |
| Online adgang: | Citation/Abstract Full Text - PDF |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 200518801 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 1091-9856 | ||
| 022 | |a 0899-1499 | ||
| 035 | |a 200518801 | ||
| 045 | 2 | |b d20051001 |b d20051231 | |
| 084 | |a 54434 |2 nlm | ||
| 100 | 1 | |a Laurent, Michel | |
| 245 | 1 | |a A Modeling Layer for Constraint-Programming Libraries | |
| 260 | |b Institute for Operations Research and the Management Sciences |c Fall 2005 | ||
| 513 | |a Feature | ||
| 520 | 3 | |a Mathematical-modeling and constraint-programming languages have orthogonal strengths in stating combinatorial optimization problems. Modeling languages typically feature high-level 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 defining a specific language or preprocessor. In particular, it presents the design of MODELER, a C++ modeling layer for constraint programming which demonstrates how to enhance the expressiveness of constraint-programming libraries and to bridge much of the gap between libraries and modeling languages. [PUBLICATION ABSTRACT] | |
| 653 | |a Studies | ||
| 653 | |a Mathematical models | ||
| 653 | |a Programming languages | ||
| 653 | |a Optimization algorithms | ||
| 653 | |a Computer science | ||
| 700 | 1 | |a Pascal Van Hentenryck | |
| 773 | 0 | |t INFORMS Journal on Computing |g vol. 17, no. 4 (Fall 2005), p. 389-401 | |
| 786 | 0 | |d ProQuest |t ABI/INFORM Global | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/200518801/abstract/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/200518801/fulltextPDF/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |