A Language for Specifying Complete Timetabling Problems · Study