A technique for colouring a graph applicable to large scale timetabling problems · Study