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 /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Hnich, Brahim (Editor), Carlsson, Mats (Editor), Fages, François (Editor), Rossi, Francesca (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
• Series: Lecture Notes in Computer Science, 3978
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Algorithms.; Computer logic.; Artificial intelligence.; Computer industry.; Computer Science.; The Computer Industry.; Artificial Intelligence (incl. Robotics).; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.

Table of Contents:

• 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.