CSCLP 2004: Lausanne, Switzerland

Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi (Eds.): 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. Lecture Notes in Computer Science 3419 Springer 2005, ISBN 3-540-25176-6 BibTeX

Constraint Propagation

Nicolas Beldiceanu, Irit Katriel, Sven Thiel:
GCC-Like Restrictions on the Same Constraint. 1-11
Electronic Edition (link) BibTeX
Arnaud Lallouet:
A Note on Bilattices and Open Constraint Programming. 12-25
Electronic Edition (link) BibTeX
Igor Razgon, Amnon Meisels:
Pruning by Equally Constrained Variables. 26-40
Electronic Edition (link) BibTeX

Search

J. Christopher Beck, Patrick Prosser, Richard J. Wallace:
Trying Again to Fail-First. 41-55
Electronic Edition (link) BibTeX
Venkata Praveen Guddeti, Berthe Y. Choueiry:
Characterization of a New Restart Strategy for Randomized Backtrack Search. 56-70
Electronic Edition (link) BibTeX
Viet Nguyen, Djamila Sam-Haroud, Boi Faltings:
Dynamic Distributed BackJumping. 71-85
Electronic Edition (link) BibTeX
Adrian Petcu, Boi Faltings:
A Value Ordering Heuristic for Local Search in Distributed Resource Allocation. 86-97
Electronic Edition (link) BibTeX
Arathi Ramani, Igor L. Markov:
Automatically Exploiting Symmetries in Constraint Programming. 98-112
Electronic Edition (link) BibTeX
Yaling Zheng, Berthe Y. Choueiry:
New Structural Decomposition Techniques for Constraint Satisfaction Problems. 113-127
Electronic Edition (link) BibTeX

Applications

Ola Angelsmark, Johan Thapper:
Algorithms for the Maximum Hamming Distance Problem. 128-141
Electronic Edition (link) BibTeX
Claudio Bettini, Sergio Mascetti, Vincenzo Pupillo:
A System Prototype for Solving Multi-granularity Temporal CSP. 142-156
Electronic Edition (link) BibTeX
Lucas Bordeaux, Brice Pajot:
Computing Equilibria Using Interval Constraints. 157-171
Electronic Edition (link) BibTeX
Brahim Hnich, Steven David Prestwich, Evgeny Selensky:
Constraint-Based Approaches to the Covering Test Problem. 172-186
Electronic Edition (link) BibTeX
Alan Holland, Barry O'Sullivan:
Super Solutions for Combinatorial Auctions. 187-200
Electronic Edition (link) BibTeX
Armin Wolf:
Better Propagation for Non-preemptive Single-Resource Constraint Problems. 201-215
Electronic Edition (link) BibTeX