Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Logic, Optimization, and Constraint Programming

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 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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png INFORMS Journal on Computing INFORMS

Logic, Optimization, and Constraint Programming

INFORMS Journal on Computing , Volume 14 (4): 27 – Nov 1, 2002
27 pages

Loading next page...
 
/lp/informs/logic-optimization-and-constraint-programming-08MyMdkQ0G

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
INFORMS
Copyright
Copyright © INFORMS
Subject
Research Article - Special Issue on the Merging of Mathematical Programming and Constraint Programming
ISSN
1091-9856
eISSN
1526-5528
DOI
10.1287/ijoc.14.4.295.2828
Publisher site
See Article on Publisher Site

Abstract

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.

Journal

INFORMS Journal on ComputingINFORMS

Published: Nov 1, 2002

Keywords: Keywords : optimization ; constraint programming ; logic-based methods ; artificial intelligence

References