A Declarative Modeling Framework that Integrates Solution Methods

J. N. Hooker, Hak Jin Kim, G. Ottosson

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)141-161
Number of pages21
JournalAnnals of Operations Research
Issue number1-4
Publication statusPublished - 2001

All Science Journal Classification (ASJC) codes

  • Decision Sciences(all)
  • Management Science and Operations Research


Dive into the research topics of 'A Declarative Modeling Framework that Integrates Solution Methods'. Together they form a unique fingerprint.

Cite this