| Index: |
OverviewConstraint Propagation is an essential part of many constraint programming systems. Sitting at the heart of a constraint solver, it consumes a significant portion of the time that is required for problem solving. As such the benefit of efficient propagation is immediate. In fact, the development of efficient algorithms for constraint propagation has always been an interesting and active area of Constraint Programming.While this workshop continues this tradition by seeking contributions on the design and analysis of new propagation algorithms, it particularly encourages contributions on the practical issues in and the evaluation of implementing existing and new constraint propagation algorithms in settings ranging from special purpose solvers to programming language systems. As part of the workshop there will be a Solver Competition. This will be a one-day workshop. The workshop is open to anyone interested in the topic. At least one author of each accepted submission must attend the workshop and pay the workshop fee. Payment of a single workshop fee provides admission to all CP'2005 and ICLP'2005 workshops. [ Back to index ]
ScopeThe scope of this workshop includes, but is not restricted to:
[ Back to index ]
Solver CompetitionAs part of this year's CPAI workshop we will organise a CSP solver competition, which is intended to further some of the goals of the workshop. Contestants entering the competition are expected to submit a short paper (3 to 5 pages) describing the main implementation details of their solver. However, they can also submit a full paper (up to 15 pages) with a more detailed description of their solver. More information about the competition can be found in a separate call for solvers. [ Back to index ]
Submission ProcessWe encourage authors to submit papers electronically in pdf format. Submissions should not exceed 15 pages and should be formatted using the Lecture Notes in Computer Science (LNCS) style. Authors are invited to send their submissions by email to dongen@cs.ucc.ie using the subject line "CP Workshop Submission". Each submission should have a title page with the name, address, and email address for each author. One of the authors should be identified as the contact author.Each submission will be reviewed by at least two referees. Decisions on acceptance will be based on their contribution to the topic of the workshop. At least one author of each accepted submission must attend the workshop. Workshop participants must pay the CP/International Conference on Logic Programming registration fee in addition to the workshop fee. Payment of a single fee provides admission to all CP/ICLP workshops. [ Back to index ]
Important Dates
More details about the registration for the solver competition and the solver installation deadline is provided in a separate call for solvers. [ Back to index ]
ProgrammePlease follow this link for a printer firendly programme.[ Back to index ]
ProceedingsThis year's CPAI proceedings consist of two volumes. Volume I covers the "regular" part of the workshop. Volume II covers the First International Solver Competition. Participants of the workshop will receive a printed version of Volume I and will recieve Volume II on a DVD. The DVD also contains Volume I and all the problems that were used for the First International CSP Solver Competition.[ Back to index ]
Programme Committee
[ Back to index ]
Links[ Back to index ] |