Reactive dialectic search portfolios for maxsat C Ansótegui, J Pon, M Sellmann, K Tierney Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 29 | 2017 |
Hyper-reactive tabu search for MaxSAT C Ansótegui, B Heymann, J Pon, M Sellmann, K Tierney Learning and Intelligent Optimization: 12th International Conference, LION …, 2019 | 14 | 2019 |
Optilog: A framework for sat-based systems C Ansótegui, J Ojeda, A Pacheco, J Pon, JM Salvia, E Torres Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021 | 10 | 2021 |
PyDGGA: Distributed GGA for automatic configuration C Ansótegui, J Pon, M Sellmann, K Tierney Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021 | 9 | 2021 |
Boosting evolutionary algorithm configuration C Ansótegui, J Pon, M Sellmann Annals of Mathematics and Artificial Intelligence 90 (7), 715-734, 2022 | 8 | 2022 |