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

• 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 update Tue Feb 14 04:15:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page