Building High Strength Mixed Covering Arrays with Constraints. - Carlos Ansótegui; Jesus Ojeda; Eduard Torres (CP, 2021)

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)

Learning Optimal Decision Trees Using MaxSAT. - Josep Alos; Carlos Ansótegui; Eduard Torres (CoRR, 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)

SAT-Based Combinatorial Testing - Eduard Torres (2022)

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

Interpretable decision trees through MaxSAT. - Josep Alòs; Carlos Ansótegui; Eduard Torres (Artif. Intell. Rev., 2023)

A Benchmark Generator for Combinatorial Testing. - Carlos Ansótegui; Eduard Torres (CoRR, 2023)

Effectively computing high strength mixed covering arrays with constraints. - Carlos Ansótegui; Eduard Torres (J. Parallel Distributed Comput., 2024)