Recent advances in constraints [electronic resource] : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008 : revised selected papers / Angelo Oddi, François Fages, Francesca Rossi (eds.)
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , , |
| Other title: | CSCLP 2008. |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2009.
|
| Series: | Lecture notes in computer science ;
5655. LNCS sublibrary. Artificial intelligence. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
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.