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
Ansótegui C, Heymann B, Pon J, Sellmann M, Tierney K. Hyper-Reactive Tabu Search for MaxSAT. In: Learning and Intelligent Optimization. Cham: Springer International Publishing; 2019:309-325. doi:10.1007/978-3-030-05348-2_27
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 46337
Bossek J, Trautmann H. Multi-Objective Performance Measurement: Alternatives to PAR10 and Expected Running Time. In: Battiti R, Brunato M, Kotsireas I, Pardalos P, eds. Learning and Intelligent Optimization. Vol 11353. Lecture Notes in Computer Science. Springer; 2019:215–219.
LibreCat