MaxSAT-based large neighborhood search for high school timetabling · Study