Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers /

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

This book constitutes the thoroughly refereed and extended post-workshop proceedings of the 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, held in Rome, Italy, in June 2008. The 9 revised full papers presented were carefully reviewed and...

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

• From Marriages to Coalitions: A Soft CSP Approach
• Solving CSPs with Naming Games
• An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints
• Challenges in Constraint-Based Analysis of Hybrid Systems
• From Rules to Constraint Programs with the Rules2CP Modelling Language
• Combining Symmetry Breaking and Global Constraints
• Iterative Flattening Search on RCPSP/max Problems: Recent Developments
• Robust Solutions in Unstable Optimization Problems
• IDB-ADOPT: A Depth-First Search DCOP Algorithm.