![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Constraints, Volume 12
Volume 12, Number 1, March 2007
- Nicolas Beldiceanu:
Introduction to the Special Issue on Global Constraints. 1-2 - Konstantin Artiouchine, Philippe Baptiste:
Arc-B-consistency of the Inter-distance Constraint. 3-19 - Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey
, Thierry Petit:
Global Constraint Catalogue: Past, Present and Future. 21-62 - Helmut Simonis:
Models for Global Constraint Applications. 63-92 - Francisco Azevedo:
Cardinal: A Finite Sets Constraint Solver. 93-129 - Amnon Meisels, Roie Zivan:
Asynchronous Forward-checking for DisCSPs. 131-150
Volume 12, Number 2, June 2007
- Igor Razgon, Amnon Meisels:
A CSP Search Algorithm with Responsibility Sets and Kernels. 151-177 - Pierre Flener
, Justin Pearson, Luis G. Reyna, Olof Sivertsson:
Design of Financial CDO Squared Transactions Using Constraint Programming. 179-205 - Meinolf Sellmann, Thorsten Gellermann, Robert Wright:
Cost-based Filtering for Shorter Path Constraints. 207-238 - Christian Bessiere, Emmanuel Hebrard
, Brahim Hnich
, Toby Walsh
:
The Complexity of Reasoning with Global Constraints. 239-259
Volume 12, Number 3, September 2007
- Carlos Cotta
, Iván Dotú, Antonio J. Fernández
, Pascal Van Hentenryck:
Local Search-based Hybrid Algorithms for Finding Golomb Rulers. 263-291 - Magnus Ågren, Pierre Flener
, Justin Pearson:
Generic Incremental Algorithms for Local Search. 293-324 - Éric Grégoire, Bertrand Mazure, Cédric Piette:
Local-search Extraction of MUSes. 325-344 - Lengning Liu, Miroslaw Truszczynski:
Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques. 345-369 - Marco Chiarandini
, Thomas Stützle
:
Stochastic Local Search Algorithms for Graph Set T -colouring and Frequency Assignment. 371-403
Volume 12, Number 4, December 2007
- Daniele Paolo Radicioni
, Vincenzo Lombardo
:
A Constraint-based Approach for Annotating Music Scores with Gestural Information. 405-428 - Krzysztof R. Apt, Peter Zoeteweij:
An Analysis of Arithmetic Constraints on Integer Intervals. 429-468 - Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith:
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. 469-505 - Francisco Azevedo:
Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic. 507-538
![](https://dblp1.uni-trier.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.