, ,

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

Specificaties
Paperback, 147 blz. | Engels
Springer Berlin Heidelberg | 2009e druk, 2009
ISBN13: 9783642032509
Rubricering
Springer Berlin Heidelberg 2009e druk, 2009 9783642032509
Onderdeel van serie Lecture Notes in Computer Science
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

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.

Specificaties

ISBN13:9783642032509
Taal:Engels
Bindwijze:paperback
Aantal pagina's:147
Uitgever:Springer Berlin Heidelberg
Druk:2009

Inhoudsopgave

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.

Rubrieken

    Personen

      Trefwoorden

        Recent Advances in Constraints