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)

OptiLog V2: Model, Solve, Tune and Run. - Josep Alos; Carlos Ansótegui; Josep M. Salvia; Eduard Torres (SAT, 2022)

Incomplete MaxSAT approaches for combinatorial testing. - Carlos Ansótegui; Felip Manyà; Jesus Ojeda; Josep M. Salvia; Eduard Torres (J. Heuristics, 2022)

Exploiting Configurations of MaxSAT Solvers. - Josep Alòs; Carlos Ansótegui; Josep M. Salvia; Eduard Torres (CP, 2023)