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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Faltings, Boi V. (Επιμελητής έκδοσης), Petcu, Adrian (Επιμελητής έκδοσης), Fages, François (Επιμελητής έκδοσης), Rossi, Francesca (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3419
• Θέματα: Computer science.; Programming languages (Electronic computers).; Algorithms.; Computer logic.; Mathematical logic.; Numerical analysis.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Programming Languages, Compilers, Interpreters.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Numeric Computing.

Πίνακας περιεχομένων:

• 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.