Francisco Azevedo,
Pedro Barahona,
Francois Fages,
Francesca Rossi
e.a.
Springer Berlin Heidelberg
2007e druk, 2007
9783540738169
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
Specificaties
Paperback, 185 blz.
|
Engels
Springer Berlin Heidelberg |
2007e druk, 2007
ISBN13: 9783540738169
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Levertijd ongeveer 8 werkdagen
Samenvatting
This book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, held in Caparica, Portugal in June 2006. The papers are organized in topical sections on global constraints, search and heuristics, language and implementation issues, and modeling.
Specificaties
ISBN13:9783540738169
Taal:Engels
Bindwijze:paperback
Aantal pagina's:185
Uitgever:Springer Berlin Heidelberg
Druk:2007
Hoofdrubriek:Automatisering algemeen, Computer en informatica
Inhoudsopgave
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.