CSCLP 2005: Uppsala, Sweden

Brahim Hnich, Mats Carlsson, François Fages, Francesca Rossi (Eds.): Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3978 Springer 2006, ISBN 3-540-34215-X BibTeX

Global Constraints

Claude-Guy Quimper, Toby Walsh:
The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables. 1-13
Electronic Edition (link) BibTeX
Thom W. Frühwirth:
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains. 14-28
Electronic Edition (link) BibTeX
Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh:
Among, Common and Disjoint Constraints. 29-43
Electronic Edition (link) BibTeX

Ola Angelsmark, Johan Thapper:
Partitioning Based Algorithms for Some Colouring Problems. 44-58
Electronic Edition (link) BibTeX
Igor Razgon, Amnon Meisels:
A CSP Search Algorithm with Reduced Branching Factor. 59-72
Electronic Edition (link) BibTeX
Richard J. Wallace:
Analysis of Heuristic Synergies. 73-87
Electronic Edition (link) BibTeX
Igor Razgon:
Complexity Analysis of Heuristic CSP Search Algorithms. 88-99
Electronic Edition (link) BibTeX

Emmanuel Coquery, François Fages:
A Type System for CHR. 100-117
Electronic Edition (link) BibTeX
Christian Schulte, Guido Tack:
Views and Iterators for Generic Constraint Implementations. 118-132
Electronic Edition (link) BibTeX

Armagan Tarim, Ian Miguel:
A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse. 133-148
Electronic Edition (link) BibTeX
Roland Martin:
The Challenge of Exploiting Weak Symmetries. 149-163
Electronic Edition (link) BibTeX
Roman Barták:
On Generators of Random Quasigroup Problems. 164-178
Electronic Edition (link) BibTeX