Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausa

Faltings, Boi

ISBN 10: 3540251766 / ISBN 13: 9783540251767

Editore: Springer 2005-03, 2005

Riguardo questo articolo

Codice articolo 6666-IUK-9783540251767

Dati bibliografici

Titolo: Recent Advances in Constraints : Joint ERCIM...

Casa editrice: Springer 2005-03

Data di pubblicazione: 2005

Legatura: PF

Condizione: New

Descrizione articolo

Riassunto:

TheorganizationwashandledbytheEPFL,INRIAandtheUniversityofPadua.

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.