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