A Modeling Layer for Constraint-Programming Libraries
Salvato in:
| Pubblicato in: | INFORMS Journal on Computing vol. 17, no. 4 (Fall 2005), p. 389-401 |
|---|---|
| Autore principale: | |
| Altri autori: | |
| Pubblicazione: |
Institute for Operations Research and the Management Sciences
|
| Soggetti: | |
| Accesso online: | Citation/Abstract Full Text - PDF |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
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/BH75TPHOCCPB476R?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/200518801/fulltextPDF/embedded/BH75TPHOCCPB476R?source=fedsrch |