Robuta

https://www.ics.muni.cz/en/research/publications/878831 A supernodal formulation of vertex colouring with applications in course timetabling | Institute of... vertex colouring formulation applications course timetabling