Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, ... (Lecture Notes in Computer Science, 3419) - Softcover

Softcover

ISBN 10: 3540251766 ISBN 13: 9783540251767

Publisher: Springer, 2005

Synopsis

Constraint programming is a very successful ?fth-generation software techn- ogy with a wide range of applications. It has attracted a large community of researchers that is particularly strong in Europe. In particular, constraint programming is the focus of the Working Group on Constraints of the European Research Consortium for Informatics and Mat- matics (ERCIM) as well as a major interest of the European Network on C- putational Logic (CoLogNET). These groups jointly sponsored a workshop on Constraint Satisfaction and Constraint Logic Programming (CSCLP 2004) held June23-25attheEcolePolytechniqueF´ ed´ eraledeLausanne(EPFL)inSwitz- land. It was hosted by the Arti?cial Intelligence Laboratory of the EPFL, which is also a member of both groups. Thisbookpresentsacollectionofpapersthatareeitherrevisedandextended versions of papers accepted at the workshop, or were submitted in response to theopencallforpapersthatfollowed.The15papersinthisvolumewereselected from 30 submissions by rigorous peer review. The editors would like to take the opportunity to thank all authors and reviewers for the hard work they contributed to producing this volume. We also thank ERCIM and CoLogNET for their support of the workshop and the ?eld of constraint programming in general. We hope the reader will ?nd this volume helpful for advancing their understanding of issues in constraint programming. December 2004 Boi Faltings Adrian Petcu Francois ¸ Fages Francesca Rossi Organization This workshopwas jointly organized as the 9th Meeting of the ERCIM Working GrouponConstraints,coordinatedbyFrancois ¸ Fages,andthe2ndAnnualWo- shop of the CoLogNET area on Constraint Logic Programming, coordinated by Francesca Rossi. OrganizingInstitutes TheorganizationwashandledbytheEPFL,INRIAandtheUniversityofPadua.

About this title

Synopsis

This book constitutes the thoroughly refereed and extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction and Constraint Logic Programming, CSCLP 2004, held in Lausanne, Switzerland in June 2004. Besides papers taken from the workshop, others are submitted in response to an open call for papers after the workshop. The 15 revised full papers were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on constraint propagation, constraint search, and applications.

Edition details

• Publisher: Springer
• Publication date: 2005
• ISBN 10: 3540251766
• ISBN 13: 9783540251767
• Binding: Paperback
• Language: English
• Number of pages: 227
• Editor: Faltings Boi, Petcu Adrian, Fages François, Rossi Francesca