Recent advances in constraints. Joint ERCIM/CoLogNET international workshop on constraint solving and constraint logic programming, CSCLP 2004, Lausanne, Switzerland, June 23--25, 2004. Revised selected and invited papers. (Q2388718)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Recent advances in constraints. Joint ERCIM/CoLogNET international workshop on constraint solving and constraint logic programming, CSCLP 2004, Lausanne, Switzerland, June 23--25, 2004. Revised selected and invited papers. |
scientific article |
Statements
Recent advances in constraints. Joint ERCIM/CoLogNET international workshop on constraint solving and constraint logic programming, CSCLP 2004, Lausanne, Switzerland, June 23--25, 2004. Revised selected and invited papers. (English)
0 references
20 September 2005
0 references
The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 1050.68001). Indexed articles: \textit{Beldiceanu, Nicolas; Katriel, Irit; Thiel, Sven}, GCC-like restrictions on the Same constraint, 1-11 [Zbl 1078.68744] \textit{Lallouet, Arnaud}, A note on bilattices and open constraint programming, 12-25 [Zbl 1078.68752] \textit{Razgon, Igor; Meisels, Amnon}, Pruning by equally constrained variables, 26-40 [Zbl 1078.68761] \textit{Beck, J. Christopher; Prosser, Patrick; Wallace, Richard J.}, Trying again to fail-first, 41-55 [Zbl 1078.68743] \textit{Guddeti, Venkata Praveen; Choueiry, Berthe Y.}, Characterization of a new restart strategy for randomized backtrack search, 56-70 [Zbl 1078.68747] \textit{Nguyen, Viet; Sam-Haroud, Djamila; Faltings, Boi}, Dynamic Distributed BackJumping, 71-85 [Zbl 1078.68757] \textit{Petcu, Adrian; Faltings, Boi}, A value ordering heuristic for local search in distributed resource allocation, 86-97 [Zbl 1078.68759] \textit{Ramani, Arathi; Markov, Igor L.}, Automatically exploiting symmetries in constraint programming, 98-112 [Zbl 1078.68760] \textit{Zheng, Yaling; Choueiry, Berthe Y.}, New structural decomposition techniques for constraint satisfaction problems, 113-127 [Zbl 1078.68766] \textit{Angelsmark, Ola; Thapper, Johan}, Algorithms for the Maximum Hamming Distance problem, 128-141 [Zbl 1078.68742] \textit{Bettini, Claudio; Mascetti, Sergio; Pupillo, Vincenzo}, A system prototype for solving multi-granularity temporal CSP, 142-156 [Zbl 1078.68745] \textit{Bordeaux, Lucas; Pajot, Brice}, Computing equilibria using interval constraints, 157-171 [Zbl 1078.68746] \textit{Hnich, Brahim; Prestwich, Steven; Selensky, Evgeny}, Constraint-based approaches to the covering test problem, 172-186 [Zbl 1078.68748] \textit{Holland, Alan; O'Sullivan, Barry}, Super solutions for combinatorial auctions, 187-200 [Zbl 1078.68749] \textit{Wolf, Armin}, Better propagation for non-preemptive single-resource constraint problems, 201-215 [Zbl 1078.68765]
0 references
