Charlotte Truchet Philippe Codognet Musical constraint satisfaction problems solved with adaptive search. 633-640 2004 8 Soft Comput. 9 http://dx.doi.org/10.1007/s00500-004-0389-0 db/journals/soco/soco8.html#TruchetC04