Tabu search techniques for large high-school timetabling problems