Constraints, Volume 12

Volume 12, Number 1, March 2007

Special Issue on Global Constraints

Nicolas Beldiceanu:
Introduction to the Special Issue on Global Constraints. 1-2
Electronic Edition (link) BibTeX
Konstantin Artiouchine, Philippe Baptiste:
Arc-B-consistency of the Inter-distance Constraint. 3-19
Electronic Edition (link) BibTeX
Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit:
Global Constraint Catalogue: Past, Present and Future. 21-62
Electronic Edition (link) BibTeX
Helmut Simonis:
Models for Global Constraint Applications. 63-92
Electronic Edition (link) BibTeX
Francisco Azevedo:
Cardinal: A Finite Sets Constraint Solver. 93-129
Electronic Edition (link) BibTeX
Amnon Meisels, Roie Zivan:
Asynchronous Forward-checking for DisCSPs. 131-150
Electronic Edition (link) BibTeX

Igor Razgon, Amnon Meisels:
A CSP Search Algorithm with Responsibility Sets and Kernels. 151-177
Electronic Edition (link) BibTeX
Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson:
Design of Financial CDO Squared Transactions Using Constraint Programming. 179-205
Electronic Edition (link) BibTeX
Meinolf Sellmann, Thorsten Gellermann, Robert Wright:
Cost-based Filtering for Shorter Path Constraints. 207-238
Electronic Edition (link) BibTeX
Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh:
The Complexity of Reasoning with Global Constraints. 239-259
Electronic Edition (link) BibTeX

Special Issue on Local Search

Yehuda Naveh, Andrea Roli:
Introduction to the Special Issue on Local Search Techniques in Constraint Satisfaction. 261-262
Electronic Edition (link) BibTeX
Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck:
Local Search-based Hybrid Algorithms for Finding Golomb Rulers. 263-291
Electronic Edition (link) BibTeX
Magnus Ågren, Pierre Flener, Justin Pearson:
Generic Incremental Algorithms for Local Search. 293-324
Electronic Edition (link) BibTeX
Éric Grégoire, Bertrand Mazure, Cédric Piette:
Local-search Extraction of MUSes. 325-344
Electronic Edition (link) BibTeX
Lengning Liu, Miroslaw Truszczynski:
Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques. 345-369
Electronic Edition (link) BibTeX
Marco Chiarandini, Thomas Stützle:
Stochastic Local Search Algorithms for Graph Set T -colouring and Frequency Assignment. 371-403
Electronic Edition (link) BibTeX

Daniele P. Radicioni, Vincenzo Lombardo:
A Constraint-based Approach for Annotating Music Scores with Gestural Information. 405-428
Electronic Edition (link) BibTeX
Krzysztof R. Apt, Peter Zoeteweij:
An Analysis of Arithmetic Constraints on Integer Intervals. 429-468
Electronic Edition (link) BibTeX
Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith:
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. 469-505
Electronic Edition (link) BibTeX
Francisco Azevedo:
Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic. 507-538
Electronic Edition (link) BibTeX