External Links

    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
    runs on