Hyper-Reactive Tabu Search for MaxSAT
Ansótegui C, Heymann B, Pon J, Sellmann M, Tierney K (2019)
In: Learning and Intelligent Optimization. 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers. Battiti R, Brunato M, Kotsireas I, Pardalos PM (Eds); Lecture Notes in Computer Science. Cham: Springer International Publishing: 309-325.