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ženo v:
Podrobná bibliografie
Vydáno v:INFORMS journal on computing Ročník 14; číslo 4; s. 295 - 321
Hlavní autor: Hooker, John N
Médium: Journal Article
Jazyk:angličtina
Vydáno: Linthicum INFORMS 22.09.2002
Institute for Operations Research and the Management Sciences
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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.
Bibliografie: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