×
![]( "Buchcover ISBN 9783540738176")
Recent Advances in Constraints
11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited Papers
herausgegeben von Francisco Azevedo, Pedro Barahona, Francois Fages und Francesca RossiInhaltsverzeichnis
- Tutorial.
- Hybrid Algorithms in Constraint Programming.
- Technical Papers.
- An Attempt to Dynamically Break Symmetries in the Social Golfers Problem.
- A Constraint Model for State Transitions in Disjunctive Resources.
- Reusing CSP Propagators for QCSPs.
- Bipolar Preference Problems: Framework, Properties and Solving Techniques.
- Distributed Forward Checking May Lie for Privacy.
- Solving First-Order Constraints in the Theory of the Evaluated Trees.
- Extracting Microstructure in Binary Constraint Networks.
- Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees.
- Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems.
- Cost-Based Filtering for Stochastic Inventory Control.
