maxSAT-based large neighborhood search for high school timetabling
scientific article; zbMATH DE number 6901290