Recent Advances in Constraints: Joint ERCIM/CoLognet International Workshop on Constraint Solving And Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004: 3419 - Brossura

Petcu, Adrian; Rossi, Francesca; Faltings, Boi; Fages, Fran??ois

 
9783540251767: Recent Advances in Constraints: Joint ERCIM/CoLognet International Workshop on Constraint Solving And Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004: 3419

Sinossi

TheorganizationwashandledbytheEPFL,INRIAandtheUniversityofPadua.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Product Description

Book by BOI FALTINGS

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.