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 / Francisco Azevedo [and others](eds.)
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
Analysis
algoritmen
algorithms
computeranalyse
computer analysis
wiskunde
mathematics
computertechnieken
computer techniques
computerwetenschappen
computer sciences
kunstmatige intelligentie
artificial intelligence
logica
logic
numerieke methoden
numerical methods
programmeertalen
programming languages
Information and Communication Technology (General)
