Recent Advances in Constraints

Name: 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
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers

Javier Larrosa Barry O'Sullivan(Herausgeber*in)

Springer (Verlag)

Erschienen am 11. März 2011

VII, 155 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-19486-3 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

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

Systemvoraussetzungen

Als PDF speichern Als Link merken