Recent Advances in Constraints

Recent Advances in Constraints

4.11 - 1251 ratings - Source



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.qJoint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23- 25, 2004, Revised Selected and Invited ... Symmetries are detected in high-level constraints by solving the graph automorphism problem on parse trees. ... the social golfers and Hamming code generation problems. ... 98a€“112, 2005. c Springer-Verlag Berlin Heidelberg 2005 simple linear constraints can result in a blowup in size.


Title:Recent Advances in Constraints
Author: Boi Faltings
Publisher:Springer Science & Business Media - 2005-03-08
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA