A Constraint-based Approach for Annotating Music Scores with Gestural Information
An Analysis of Arithmetic Constraints on Integer Intervals
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems
Maxx