Recent Advances in Constraints约束最新进展/会议论文集

作者简介

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.

书籍目录

Constraint Propagation　GCC-Like Restrictions on the Same Constraint　A Note on Bilattices and Open Constraint Programming　Pruning by Equally Constrained VariablesSearch　Trying Again to Fail-First　Characterization of a New Restart Strategy for Randomized Backtrack Search　Dynamic Distributed Back Jumping　A Value Ordering Heuristic for Local Search in Distributed Resource Allocation　Automatically Exploiting Symmetries in Constraint Programming　New Structural Decomposition Techniques for Constraint Satisfaction ProblemsApplications　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 ProblemsAuthor Index

 Recent Advances in Constraints约束最新进展/会议论文集下载