A multilevel hyper-heuristic for solving Max-SAT. (2017)