https://5dok.org/document/y8grrp84-modeling-and-optimization-of-university-timetabling.html