Modelling constraints in school timetabling using integer linear programming | IEEE Conference Publication | IEEE Xplore