Recent Advances in Constraints (eBook, PDF)

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
Redaktion: Faltings, Boi; Rossi, Francesca; Fages, François; Petcu, Adrian

• Format: PDF

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 217
• Erscheinungstermin: 1. März 2005
• Englisch
• ISBN-13: 9783540322528
• Artikelnr.: 44223012

Autorenporträt

Boi Faltings, Ecole Polytechnique Federale de Lausanne (EPFL), Switzerland / Adrian Petcu, Ecole Polytechnique Federale de Lausanne (EPFL), Switzerland / Francois Fages, Institut National de Recherche en Informatique et en Automatique - INRIA, Le Chesnay Cedex, France / Francesca Rossi, University of Padua, Italy

Inhaltsangabe

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.