A Modeling Layer for Constraint-Programming Libraries

保存先:

書誌詳細
出版年:	INFORMS Journal on Computing vol. 17, no. 4 (Fall 2005), p. 389-401
第一著者:	Laurent, Michel
その他の著者:	Pascal Van Hentenryck
出版事項:	Institute for Operations Research and the Management Sciences
主題:	Studies Mathematical models Programming languages Optimization algorithms Computer science
オンライン･アクセス:	Citation/Abstract Full Text - PDF
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

その他の書誌記述
抄録:	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
ソース:	ABI/INFORM Global