Practice And Theory Of Automated Timetabling Vi door