Musical constraint satisfaction problems solved with adaptive search
scientific article; zbMATH DE number 2151880