A declarative modeling framework that integrates solution methods

A declarative modeling framework that integrates solution methods

0.00 Avg rating0 Votes
Article ID: iaor20023044
Country: Netherlands
Volume: 104
Issue: 1
Start Page Number: 141
End Page Number: 161
Publication Date: Apr 2001
Journal: Annals of Operations Research
Authors: , ,
Keywords: programming: integer
Abstract:

Constraint programming offers modeling features and solution methods that are unavailable in mathematical programming but are often flexible and efficient for scheduling and other combinatorial problems. Yet mathematical programming is well suited to declarative modeling languages and is more efficient for some important problem classes. This raises this issue as to whether the two approaches can be combined in a declarative modeling framework. This paper proposes a general declarative modeling system in which the conditional structure of the constraints shows how to integrate any ‘checker’ and any special-purpose ‘solver’. In particular this integrates constraint programming and optimization methods, because the checker can consist of constraint propagation methods, and the solver can be a linear or nonlinear programming routine.

Reviews

Required fields are marked *. Your email address will not be published.