Joel Gabàs

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 3

Top Topics

Maximum Satisfiability

Top Venues

Publications

Carlos Ansótegui, Joel Gabàs
WPM3: An (in)complete algorithm for weighted partial MaxSAT. Artif. Intell. 250 (2017)
Carlos Ansótegui, Joel Gabàs, Jordi Levy
Exploiting subproblem optimization in SAT-based MaxSAT algorithms. J. Heuristics 22 (1) (2016)
Carlos Ansótegui, Joel Gabàs, Yuri Malitsky, Meinolf Sellmann
MaxSAT by improved instance-specific algorithm configuration. Artif. Intell. 235 (2016)
Carlos Ansótegui, Frédéric Didier, Joel Gabàs
Exploiting the Structure of Unsatisfiable Cores in MaxSAT. IJCAI (2015)
Carlos Ansótegui, Joel Gabàs
Solving (Weighted) Partial MaxSAT with ILP. CPAIOR (2013)
Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy
Improving WPM2 for (Weighted) Partial MaxSAT. CP (2013)
Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy
Improving SAT-Based Weighted MaxSAT Solvers. CP (2012)