1. A Constraint-based Approach for Annotating Music Scores with Gestural Information

   • Daniele P. Radicioni
   • Vincenzo Lombardo

   OriginalPaper 04 April 2007 Pages: 405 - 428

2. An Analysis of Arithmetic Constraints on Integer Intervals

   • Krzysztof R. Apt
   • Peter Zoeteweij

   OriginalPaper Open access 17 May 2007 Pages: 429 - 468

3. Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems

   • Yat Chiu Law
   • Jimmy H. M. Lee
   • Barbara M. Smith

   OriginalPaper 07 August 2007 Pages: 469 - 505

4. Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic

   • Francisco Azevedo

   OriginalPaper 10 July 2007 Pages: 507 - 538