Article | The Swedish AI Society Workshop May 27-28; 2009 IDA; Linköping University | Constraint Programming for Real

Title:
Constraint Programming for Real
Author:
Christian Schulte: Royal Institute of Technology, Sweden
Download:
Full text (pdf)
Year:
2009
Conference:
The Swedish AI Society Workshop May 27-28; 2009 IDA; Linköping University
Issue:
035
Article no.:
003
Pages:
11-11
No. of pages:
1
Publication type:
Abstract
Published:
2009-05-27
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Export in BibTex, RIS or text

Since the inception of constraints in AI for modeling and solving combinatorial problems in the 1960’s; constraint programming (CP) has emerged both as a scientific field as well as an array of successful techniques and tools for solving difficult real-life problems. Its applications are ubiquitous and include configuration; design; computational biology; diagnosis; logistics; planning; routing; and scheduling. The progress of CP is due to its multidisciplinary nature which includes fields such as AI; programming languages and systems; logics; operations research; and algorithmics.

In this talk; I attempt to give you the basic setup of CP for solving real-life combinatorial optimization problems. I will take you on several gentle excursions that shed light on the what; why; and how of CP for real: capturing structure in combinatorial problems by constraints that ease modeling and aid solving and CP as an amazingly flexible and powerful toolbox of constraints as reusable software components. During that journey; I will relate CP to other techniques such as SAT; linear programming; and the original model of constraint satisfaction that emerged from AI and point out its strengths and weaknesses.

The Swedish AI Society Workshop May 27-28; 2009 IDA; Linköping University

Author:
Christian Schulte
Title:
Constraint Programming for Real
References:
No references available

The Swedish AI Society Workshop May 27-28; 2009 IDA; Linköping University

Author:
Christian Schulte
Title:
Constraint Programming for Real
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment