Table of Contents

Title Page; Preface; Organization; Table of Contents; 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.