ITC-2019: A MaxSAT approach to solve University Timetabling problems