Logic, Optimization, and Constraint Programming

Because of their complementary strengths, optimization and constraint programming can be profitably merged. Their integration has been the subject of increasing commercial and research activity. This paper summarizes and contrasts the characteristics of the two fields; in particular, how they use lo...

Full description

Saved in:
Bibliographic Details
Published inINFORMS journal on computing Vol. 14; no. 4; pp. 295 - 321
Main Author Hooker, John N
Format Journal Article
LanguageEnglish
Published Linthicum INFORMS 22.09.2002
Institute for Operations Research and the Management Sciences
Subjects
Algorithms
Artificial intelligence
Boolean
Computer programming
constraint programming
Integer programming
Linear programming
Logic programming
logic-based methods
Mathematical programming
Optimization
Propagation
Studies
Theory of constraints
Variables
Online AccessGet full text
ISSN1091-9856
1526-5528
1091-9856
DOI10.1287/ijoc.14.4.295.2828

Cover

More Information
Summary:Because of their complementary strengths, optimization and constraint programming can be profitably merged. Their integration has been the subject of increasing commercial and research activity. This paper summarizes and contrasts the characteristics of the two fields; in particular, how they use logical inference in different ways, and how these ways can be combined. It sketches the intellectual background for recent efforts at integration. It traces the history of logic-based methods in optimization and the development of constraint programming in artificial intelligence. It concludes with a review of recent research, with emphasis on schemes for integration, relaxation methods, and practical applications.
Bibliography:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ISSN:1091-9856
1526-5528
1091-9856
DOI:10.1287/ijoc.14.4.295.2828