![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
CSCLP 2004: Lausanne, Switzerland
- Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi:
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
Constraint Propagation
- Nicolas Beldiceanu, Irit Katriel, Sven Thiel:
GCC-Like Restrictions on the Same Constraint. 1-11 - Arnaud Lallouet:
A Note on Bilattices and Open Constraint Programming. 12-25 - Igor Razgon, Amnon Meisels:
Pruning by Equally Constrained Variables. 26-40
Search
- J. Christopher Beck, Patrick Prosser, Richard J. Wallace:
Trying Again to Fail-First. 41-55 - Venkata Praveen Guddeti, Berthe Y. Choueiry:
Characterization of a New Restart Strategy for Randomized Backtrack Search. 56-70 - Viet Nguyen, Djamila Sam-Haroud, Boi Faltings:
Dynamic Distributed BackJumping. 71-85 - Adrian Petcu, Boi Faltings:
A Value Ordering Heuristic for Local Search in Distributed Resource Allocation. 86-97 - Arathi Ramani, Igor L. Markov:
Automatically Exploiting Symmetries in Constraint Programming. 98-112 - Yaling Zheng, Berthe Y. Choueiry:
New Structural Decomposition Techniques for Constraint Satisfaction Problems. 113-127
Applications
- Ola Angelsmark, Johan Thapper
:
Algorithms for the Maximum Hamming Distance Problem. 128-141 - Claudio Bettini
, Sergio Mascetti
, Vincenzo Pupillo:
A System Prototype for Solving Multi-granularity Temporal CSP. 142-156 - Lucas Bordeaux, Brice Pajot:
Computing Equilibria Using Interval Constraints. 157-171 - Brahim Hnich
, Steven D. Prestwich, Evgeny Selensky:
Constraint-Based Approaches to the Covering Test Problem. 172-186 - Alan Holland, Barry O'Sullivan
:
Super Solutions for Combinatorial Auctions. 187-200 - Armin Wolf:
Better Propagation for Non-preemptive Single-Resource Constraint Problems. 201-215
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.