Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Faltings, Boi V. (Editor), Petcu, Adrian (Editor), Fages, François (Editor), Rossi, Francesca (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Series: Lecture Notes in Computer Science, 3419
• Subjects: Computer science.; Programming languages (Electronic computers).; Algorithms.; Computer logic.; Mathematical logic.; Numerical analysis.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Programming Languages, Compilers, Interpreters.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Numeric Computing.

Table of Contents:

• Constraint Propagation
• GCC-Like Restrictions on the Same Constraint
• A Note on Bilattices and Open Constraint Programming
• Pruning by Equally Constrained Variables
• Search
• Trying Again to Fail-First
• Characterization of a New Restart Strategy for Randomized Backtrack Search
• Dynamic Distributed BackJumping
• A Value Ordering Heuristic for Local Search in Distributed Resource Allocation
• Automatically Exploiting Symmetries in Constraint Programming
• New Structural Decomposition Techniques for Constraint Satisfaction Problems
• Applications
• Algorithms for the Maximum Hamming Distance Problem
• A System Prototype for Solving Multi-granularity Temporal CSP
• Computing Equilibria Using Interval Constraints
• Constraint-Based Approaches to the Covering Test Problem
• Super Solutions for Combinatorial Auctions
• Better Propagation for Non-preemptive Single-Resource Constraint Problems.