Hyper-Reactive Tabu Search for MaxSAT | Publicación