MaxSAT-based large neighborhood search for high school timetablingHigh School Timetabling,, Large Neighborhood Search, Local Search, maxSAT
Variable Neighborhood Search for Google Machine Reassignment ProblemGeneralized Assignment Problem, Local Search, Machine Reassignment, Variable Neighborhood Search