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 / Edition 1

by Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi

Overview

This book constitutes the thoroughly refereed and extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction and Constraint Logic Programming, CSCLP 2004, held in Lausanne, Switzerland in June 2004.

Besides papers taken from the workshop, others are submitted in response to an open call for papers after the workshop.

The 15 revised full papers were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on constraint propagation, constraint search, and applications.

Product Details

ISBN-13:	9783540251767
Publisher:	Springer Berlin Heidelberg
Publication date:	04/19/2005
Series:	Lecture Notes in Computer Science , #3419
Edition description:	2005
Pages:	217
Product dimensions:	6.10(w) x 9.25(h) x 0.02(d)

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.