Hyper-Reactive Tabu Search for MaxSAT. - Carlos Ansótegui; Britta Heymann; Josep Pon; Meinolf Sellmann; Kevin Tierney (LION, 2018)