Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Constraints are a natural means of knowledge representation. This generality underpins the success with which constraint programming has been applied to a widevarietyofdisciplinesinacademiaandindustrysuchasproductionplanning, communication networks, robotics, and bioinformatics. This volume contains the extended and reviewed version of a selection of papers presented at the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming (CSCLP 2005), which was held during June 20-22, 2005 in Uppsala, Sweden. It also contains papers that were submitted in response to the open call that followedtheworkshop.Thepapersinthisvolumepresentresearchresultsrega- ing many aspects of constraint solving and constraint logic programming. This includes global constraints, search and heuristics, implementations of constraint systems, and a number of applications. The editors wouldlike to take the opportunity andthank allthe authorswho submitted a paper to this volume,as well as the reviewersfor their helpful work. This volume has been made possible thanks to the support of the European ResearchConsortiumfor Informatics and Mathematics (ERCIM), the European Network on Computational Logic (CoLogNET), the Swedish Institute of C- puter Science (SICS), Science Foundation Ireland (Grant No. 00/PI.1/C075), and the Department of Information Science (DIS) at Uppsala University in Sweden. We hope that the present volume is useful for anyone interested in the recent advancesandnewtrendsinconstraintprogramming,constraintsolving,problem modelling, and applications. March 2006 B. Hnich, M. Carlsson, F. Fages, and F. Rossi Organizers CSCLP 2005 Organization CSCLP 2005 was organized by the ERCIM Working Group on Constraints and the CoLogNET area on Logic and Constraint Logic Programming.

Mathematical logic --- Complex analysis --- Computer science --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- complexe analyse (wiskunde) --- programmeren (informatica) --- programmeertalen --- wiskunde --- logica --- robots --- numerieke analyse