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)

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)