
Recent Advances in Constraints
13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
Springer (Publisher)
Published on 20. July 2009
Book
Paperback/Softback
IX, 147 pages
978-3-642-03250-9 (ISBN)
Description
Constraint programming (CP) is a powerful programming paradigm for the declarativedescription and the e?ective solving of largecombinatorialproblems. Basedonastrongtheoreticalfoundation,itisincreasinglyattractingcommercial interest. Since the 1990s, CP has been deployed by many industry leaders, in particular to model heterogeneous optimization and satisfaction problems. - amples of application domains where such problems naturally arise, and where constraint programming has made a valuable contribution, are scheduling, p- duction planning, communication networks, routing, planning of satellite m- sions, robotics, and bioinformatics. This volumecontainsthe papers selectedfor the post-proceedingsof the13th International Workshop on Constraint Solving and Constraint Logic Progr- ming(CSCLP2008)heldduringJune18-20,2008inRome,Italy.Thisworkshop was organized as the 13th meeting of the working group on Constraints of the EuropeanResearchConsortiumforInformaticsandMathematics(ERCIM),c- tinuing a series of workshops organized since the creation of the working group in 1997.
A selection of papers of these annual workshops plus some additional contributions have been published since 2002 in a series of volumes which ill- trate the evolutioninthe ?eld, under the title "RecentAdvances in Constraints" in the Lecture Notes in Arti?cial Intelligence series.
A selection of papers of these annual workshops plus some additional contributions have been published since 2002 in a series of volumes which ill- trate the evolutioninthe ?eld, under the title "RecentAdvances in Constraints" in the Lecture Notes in Arti?cial Intelligence series.
More details
Series
Edition
2009 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
IX, 147 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 9 mm
Weight
254 gr
ISBN-13
978-3-642-03250-9 (9783642032509)
DOI
10.1007/978-3-642-03251-6
Schweitzer Classification
Content
From Marriages to Coalitions: A Soft CSP Approach.- Solving CSPs with Naming Games.- An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints.- Challenges in Constraint-Based Analysis of Hybrid Systems.- From Rules to Constraint Programs with the Rules2CP Modelling Language.- Combining Symmetry Breaking and Global Constraints.- Iterative Flattening Search on RCPSP/max Problems: Recent Developments.- Robust Solutions in Unstable Optimization Problems.- IDB-ADOPT: A Depth-First Search DCOP Algorithm.