Practice And Theory Of Automated Timetabling Vi by