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

✍ Scribed by Brahim Hnich (editor), Mats Carlsson (editor), Francois Fages (editor), Francesca Rossi (editor)

• Publisher: Springer
• Year: 2006
• Tongue: English
• Leaves: 187
• Category: Library

✦ Synopsis

This book constitutes the thoroughly refereed and extended post-proceedings of the Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on global constraints, search and heuristics, language and implementation issues, and modeling.

✦ Table of Contents

Frontmatter
Global Constraints
The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
Among, Common and Disjoint Constraints
Search and Heuristics
Partitioning Based Algorithms for Some Colouring Problems
A CSP Search Algorithm with Reduced Branching Factor
Analysis of Heuristic Synergies
Complexity Analysis of Heuristic CSP Search Algorithms
Language and Implementation Issues
A Type System for CHR
Views and Iterators for Generic Constraint Implementations
Modeling
A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse
The Challenge of Exploiting Weak Symmetries
On Generators of Random Quasigroup Problems
Backmatter