Journal: Constraints

Volume 12, Issue 4

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

Volume 12, Issue 3

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

Volume 12, Issue 2

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

Volume 12, Issue 1

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