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

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:INFORMS journal on computing Ročník 14; číslo 4; s. 295 - 321
Hlavný autor: Hooker, John N
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Linthicum INFORMS 22.09.2002
Institute for Operations Research and the Management Sciences
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
Bibliografia: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