Reactive Dialectic Search Portfolios for MaxSAT. - Carlos Ansótegui; Josep Pon; Meinolf Sellmann; Kevin Tierney (AAAI, 2017)

Hyper-Reactive Tabu Search for MaxSAT. - Carlos Ansótegui; Britta Heymann; Josep Pon; Meinolf Sellmann; Kevin Tierney (LION, 2018)

OptiLog: A Framework for SAT-based Systems. - Carlos Ansótegui; Jesus Ojeda; António Pacheco 004; Josep Pon; Josep M. Salvia; Eduard Torres (SAT, 2021)

PyDGGA: Distributed GGA for Automatic Configuration. - Carlos Ansótegui; Josep Pon; Meinolf Sellmann; Kevin Tierney (SAT, 2021)

Contributions to automatic configuration and selection for satisfiability. - Josep Pon (2021)

Boosting evolutionary algorithm configuration. - Carlos Ansótegui; Josep Pon; Meinolf Sellmann (Ann. Math. Artif. Intell., 2022)