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 | 30 | 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 | 15 | 2019 |
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 | 10 | 2021 |
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 |
Boosting evolutionary algorithm configuration C Ansótegui, J Pon, M Sellmann Annals of Mathematics and Artificial Intelligence 90 (7), 715-734, 2022 | 8 | 2022 |
Pypblib, 2019 C Ansótegui, T Pacheco, J Pon URL: https://pypi. org/project/pypblib, 0 | 5 | |