Văn bản này: Practice and theory of automated timetabling V :