A Modeling Layer for Constraint-Programming Libraries
I tiakina i:
| I whakaputaina i: | INFORMS Journal on Computing vol. 17, no. 4 (Fall 2005), p. 389-401 |
|---|---|
| Kaituhi matua: | |
| Ētahi atu kaituhi: | |
| I whakaputaina: |
Institute for Operations Research and the Management Sciences
|
| Ngā marau: | |
| Urunga tuihono: | Citation/Abstract Full Text - PDF |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
| Whakarāpopotonga: | 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] |
|---|---|
| ISSN: | 1091-9856 0899-1499 |
| Puna: | ABI/INFORM Global |