Recent Advances in Constraints

Angelo Oddi

ISBN 10: 3642032508 / ISBN 13: 9783642032509

Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2009, 2009

Beschreibung

Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Bestandsnummer des Verkäufers 9783642032509

Bibliografische Details

• Titel: Recent Advances in Constraints
• Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2009
• Erscheinungsjahr: 2009
• Sprache: Englisch
• ISBN-10: 3642032508
• ISBN-13: 9783642032509
• Einband: Taschenbuch
• Zustand: Neu

Über diesen Titel

Inhaltsangabe

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.

Von der hinteren Coverseite

This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, held in Rome, Italy, in June 2008.

The 9 revised full papers presented were carefully reviewed and selected from 14 initial submissions. The papers in this volume present original research results, as well as applications, in many aspects of constraint solving and constraint logic programming. Research topics that can be found in the papers are ¯rst-order constraints, symmetry breaking, global constraints, constraint optimization problems, distributed constraint solving problems, soft constraints, as well as the analysis of application domains such as cumulative resource problems and hybrid systems.