Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , , , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2007.
|
Σειρά: | Lecture Notes in Computer Science,
4651 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.