Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2 Publications
2019 | Conference Paper | LibreCat-ID: 13250
Hyper-Reactive Tabu Search for MaxSAT
C. Ansótegui, B. Heymann, J. Pon, M. Sellmann, K. Tierney, in: Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 309–325.
LibreCat
| DOI
C. Ansótegui, B. Heymann, J. Pon, M. Sellmann, K. Tierney, in: Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 309–325.
2019 | Conference Paper | LibreCat-ID: 46337
Multi-Objective Performance Measurement: Alternatives to PAR10 and Expected Running Time
J. Bossek, H. Trautmann, in: R. Battiti, M. Brunato, I. Kotsireas, P. Pardalos (Eds.), Learning and Intelligent Optimization, Springer, Cham, 2019, pp. 215–219.
LibreCat
J. Bossek, H. Trautmann, in: R. Battiti, M. Brunato, I. Kotsireas, P. Pardalos (Eds.), Learning and Intelligent Optimization, Springer, Cham, 2019, pp. 215–219.