Personensuche
X
?
Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science ,
1
A SAT Encoding to Compute Aperiodic Tiling Rhythmic Canons:
, In:
?
Mathematics and Computation in Music; Lecture Notes in Computer Science ,
2