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

• 
  Yehuda Naveh, Andrea Roli: Introduction to the Special Issue on Local Search Techniques in Constraint Satisfaction. 261-262
• 
  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 P. 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

last updated on Sun May 26 04:37:24 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page