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; Pedro Manuel Corrêa Calvente de Barahona; François Fage; Francesca Rossi

doi:10.1007/978-3-540-73817-6

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/Report › Book › peer-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 language	English
Place of Publication	Berlin
Publisher	Springer
Number of pages	183
ISBN (Print)	978-3-540-73816-9
DOIs	https://doi.org/10.1007/978-3-540-73817-6
Publication status	Published - 2007
Event	11th 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 2006 → 26 Jun 2006

Publication series

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

Access to Document

10.1007/978-3-540-73817-6

Cite this

Azevedo, F. D. M. E. C. A. D., Barahona, P. M. C. C. D., Fage, F., & Rossi, F. (2007). Recent Advances in Constraints: 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Revised Selected and Invited Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4651 LNAI). Springer. https://doi.org/10.1007/978-3-540-73817-6

Azevedo, Francisco de Moura E Castro Ascensão de ; Barahona, Pedro Manuel Corrêa Calvente de ; Fage, François ; Rossi, Francesca. / Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Revised Selected and Invited Papers. Berlin : Springer, 2007. 183 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@book{14d0692aae484bcc8d535f3db2ecf5a4,

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

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.",

author = "Azevedo, {Francisco de Moura E Castro Ascens{\~a}o de} and Barahona, {Pedro Manuel Corr{\^e}a Calvente de} and Fran{\c c}ois Fage and Francesca Rossi",

year = "2007",

doi = "10.1007/978-3-540-73817-6",

language = "English",

isbn = "978-3-540-73816-9",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

note = "11th Annual European Research Consortium for Informatics and Mathematics (ERCIM) International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 ; Conference date: 26-06-2006 Through 26-06-2006",

}

Azevedo, FDMECAD , Barahona, PMCCD, Fage, F & Rossi, F 2007, Recent Advances in Constraints: 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Revised Selected and Invited Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4651 LNAI, Springer, Berlin. https://doi.org/10.1007/978-3-540-73817-6

Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Revised Selected and Invited Papers. / Azevedo, Francisco de Moura E Castro Ascensão de (Editor/Coordinator); Barahona, Pedro Manuel Corrêa Calvente de (Editor/Coordinator); Fage, François (Editor/Coordinator); Rossi, Francesca (Editor/Coordinator).

Berlin : Springer, 2007. 183 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4651 LNAI).

Research output: Book/Report › Book › peer-review

TY - BOOK

T1 - Recent Advances in Constraints

T2 - 11th Annual European Research Consortium for Informatics and Mathematics (ERCIM) International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006

A2 - Azevedo, Francisco de Moura E Castro Ascensão de

A2 - Barahona, Pedro Manuel Corrêa Calvente de

A2 - Fage, François

A2 - Rossi, Francesca

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=38049183173&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-73817-6

DO - 10.1007/978-3-540-73817-6

M3 - Book

SN - 978-3-540-73816-9

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

BT - Recent Advances in Constraints

PB - Springer

CY - Berlin

Y2 - 26 June 2006 through 26 June 2006

ER -

Azevedo FDMECAD , Barahona PMCCD, Fage F, Rossi F. Recent Advances in Constraints: 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Revised Selected and Invited Papers. Berlin: Springer, 2007. 183 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-540-73817-6

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

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this