結果 : a mixed integer linear programming model for university course timetabling problems