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