Recent Advances in Constraints: 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Revised Selected and Invited Papers

Francisco de Moura E Castro Ascensão de Azevedo (Editor/Coordinator), Pedro Manuel Corrêa Calvente de Barahona (Editor/Coordinator), François Fage (Editor/Coordinator), Francesca Rossi (Editor/Coordinator)

Research output: Book/ReportBookpeer-review

Abstract

The proceedings contain 11 papers. The topics discussed include: hybrid algorithms in constrained programming; 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 quantifies conjunctions of equations over trees; efficient recognition of acrylic clustered constraint satisfaction problems; and cost-based filtering for stochastic inventory control.

Original languageEnglish
Place of PublicationBerlin
PublisherSpringer
Number of pages183
ISBN (Print)978-3-540-73816-9
DOIs
Publication statusPublished - 2007
Event11th Annual European Research Consortium for Informatics and Mathematics (ERCIM) International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 - Caparica, Portugal
Duration: 26 Jun 200626 Jun 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4651 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Dive into the research topics of 'Recent Advances in Constraints: 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Revised Selected and Invited Papers'. Together they form a unique fingerprint.

Cite this