1. Ansótegui, C., Bacchus, F., Järvisalo, M., Martins, R.: MaxSAT Evaluation (2017). http://mse17.cs.helsinki.fi
2. Ansotegui, C., Malitsky, Y., Samulowitz, H., Sellmann, M., Tierney, K.: Model-based geneticalgorithms for algorithm configuration. In: IJCAI, pp. 733–739 (2015)
3. Ansotegui, C., Sellmann, M., Tierney, K.: A gender-based genetic algorithm for the automatic configuration of algorithms. In: CP, pp. 142–157 (2009)
4. Ansótegui, C., Gabas, J., Malitsky, Y., Sellmann, M.: Maxsat by improved instance-specific algorithm configuration. Artif. Intell. 235, 26–39 (2016)
5. Ansótegui, C., Pon, J., Sellmann, M., Tierney, K.: Reactive dialectic search portfolios for maxsat. In: AAAI Conference on Artificial Intelligence (2017)