A Constraint-based Approach for Annotating Music Scores with Gestural Information Daniele P. RadicioniVincenzo Lombardo OriginalPaper 04 April 2007 Pages: 405 - 428
An Analysis of Arithmetic Constraints on Integer Intervals Krzysztof R. AptPeter Zoeteweij OriginalPaper Open access 17 May 2007 Pages: 429 - 468
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems Yat Chiu LawJimmy H. M. LeeBarbara M. Smith OriginalPaper 07 August 2007 Pages: 469 - 505
Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic Francisco Azevedo OriginalPaper 10 July 2007 Pages: 507 - 538