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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:INFORMS journal on computing Jg. 14; H. 4; S. 295 - 321
1. Verfasser: Hooker, John N
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Linthicum INFORMS 22.09.2002
Institute for Operations Research and the Management Sciences
Schlagworte:
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
ISSN:1091-9856, 1526-5528, 1091-9856
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Bibliographie: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