Improving SAT-Based Weighted MaxSAT Solvers. - Carlos Ansótegui; Maria Luisa Bonet; Joel Gabàs; Jordi Levy (CP, 2012)

Improving WPM2 for (Weighted) Partial MaxSAT. - Carlos Ansótegui; Maria Luisa Bonet; Joel Gabàs; Jordi Levy (CP, 2013)

Solving (Weighted) Partial MaxSAT with ILP. - Carlos Ansótegui; Joel Gabàs (CPAIOR, 2013)

Exploiting the Structure of Unsatisfiable Cores in MaxSAT. - Carlos Ansótegui; Frédéric Didier; Joel Gabàs (IJCAI, 2015)

MaxSAT by improved instance-specific algorithm configuration. - Carlos Ansótegui; Joel Gabàs; Yuri Malitsky; Meinolf Sellmann (Artif. Intell., 2016)

Exploiting subproblem optimization in SAT-based MaxSAT algorithms. - Carlos Ansótegui; Joel Gabàs; Jordi Levy (J. Heuristics, 2016)

SAT-based approaches for constraint optimization. - Joel Gabàs (2016)

WPM3: An (in)complete algorithm for weighted partial MaxSAT. - Carlos Ansótegui; Joel Gabàs (Artif. Intell., 2017)