Complete University modular timetabling using constraint logic programming · Study