Recent Advances in Constraints
14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Published on 11. March 2011
VII, 155 pages
978-3-642-19486-3 (ISBN)
Description
This book constitutes the thoroughly refereed post-proceedings of the 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, held in Barcelona, Spain, in June 2009. The 9 revised full papers presented were carefully reviewed and selected for inclusion in this post-proceedings. The papers in this volume present original research results and applications of constraint solving and constraint logic programming in several domains. Among the issues addressed are solving argumentation frameworks, software consistency, modeling languages, static design routing, dynamic constraint satisfaction, and constraint-based modeling.
More details
Other editions
Additional editions
Javier Larrosa | Barry O'Sullivan
Recent Advances in Constraints
14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Book
03/2011
Springer
€53.49
Shipment within 7-9 days
Content
- Title Pages
- Preface
- Organization
- Table of Contents
- Solving Weighted Argumentation Frameworks with Soft Constraints
- Introduction
- Dung Argumentation
- Soft Constraints
- Weighted Argumentation
- Mapping AFs to SCSPs
- Solving with JaCoP
- Related Work
- Conclusions and Future Work
- References
- Appendix
- Connecting BnB-ADOPT with Soft Arc Consistency: Initial Results
- Introduction
- Preliminaries
- Centralized Case
- Distributed Case
- Connecting BnB-ADOPT with Soft Arc Consistency
- Propagating Unconditional Deletions
- BnB-ADOPT-AC*
- Preprocess Code
- BnB-ADOPT-AC* Code
- Example
- Experimental Results
- Conclusions
- References
- Procedural Code Generation vs Static Expansion in Modelling Languages for Constraint Programming
- Introduction
- Rules2CP Syntax and Declarative Semantics
- Syntax
- Type System
- Declarative Semantics
- Static Expansion Schema
- Deterministic Code Generation
- Non-deterministic Code Generation
- Correctness and Complexity of the Static Expansion Schema
- The Dynamic Compilation Schema
- Transformation of the Query to Deterministic Code
- Transformation of the Search to Non-deterministic Code
- Evaluation
- Comparison of Both Compilation Schemes
- Dynamic Search Strategies
- Conclusion
- References
- Solving the Static Design Routing and Wavelength Assignment Problem
- Introduction
- Basic Problem
- Extended Problem
- Contribution and Related Work
- Source Aggregation
- Solution Approach
- Phase 1
- Phase 2
- Experimental Results
- Basic Problem
- Extended Problem
- Summary
- References
- A Resource Cost Aware Cumulative
- Introduction
- The CumulativeCost Constraint
- Decomposition with Cumulative
- Element Model
- Flow Model
- LP Models
- Coarse Models and Greedy Algorithms
- Model A
- Model B
- Direct Model
- Comparison
- Experiments
- Conclusions and Future Work
- References
- Integrating Strong Local Consistencies into Constraint Solvers
- Introduction
- Background
- Local Consistencies
- Strong Local Consistencies
- A Global Constraint for Domain Filtering Consistencies
- A Generic Scheme
- A Concrete Specialization: Max-RPC
- A Coarse Grained Algorithm for Max-RPC
- Experiments
- Evaluating the Overload
- Mixing Local Consistencies
- Conclusion and Perspectives
- References
- Dynamic Constraint Satisfaction Problems: Relations among Search Strategies, Solution Sets and Algorithm Performance
- Introduction
- Background Material
- Definitions and Notation
- Experimental Methods
- Basic Results
- Non-adaptive Search Heuristics
- Adaptive Search Heuristics
- Changes in Promise and Fail-Firstness
- An Enhanced Probing Procedure
- Nearest Solution Analysis
- Summary and Conclusions
- References
- Constraint-Based Modeling and Scheduling of Clinical Pathways
- Introduction
- Modeling Clinical Pathways
- Tasks
- Resources
- Temporal Relationships
- Infrastructural and Organizational Relationships
- Relating Times and Locations
- Room-Specific Relationships
- Scheduling Clinical Pathways
- Optimization
- Implementation
- Conclusion
- References
- MAC-DBT Revisited
- Introduction
- Constraint Satisfaction Problems
- MAC-DBT
- Dynamic Backtracking
- DBT with MAC
- Improving MAC-DBT
- CBJ-NG
- FC-CBJ-NG and MAC-FC-CBJ-NG
- FC Saves Computation
- Correctness of MAC-FC-CBJ-NG
- Experimental Evaluation
- Discussion
- References
- Author Index
