Joel Gabàs

According to our database, Joel Gabàs authored at least 8 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

WPM3: An (in)complete algorithm for weighted partial MaxSAT.

Carlos Ansótegui, Joel Gabàs

Artif. Intell., 2017

2016

SAT-based approaches for constraint optimization.

Joel Gabàs

PhD thesis, 2016

Exploiting subproblem optimization in SAT-based MaxSAT algorithms.

Carlos Ansótegui, Joel Gabàs, Jordi Levy

J. Heuristics, 2016

MaxSAT by improved instance-specific algorithm configuration.

Carlos Ansótegui, Joel Gabàs, Yuri Malitsky, Meinolf Sellmann

Artif. Intell., 2016

2015

Exploiting the Structure of Unsatisfiable Cores in MaxSAT.

Carlos Ansótegui, Frédéric Didier, Joel Gabàs

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2013

Solving (Weighted) Partial MaxSAT with ILP.

Carlos Ansótegui, Joel Gabàs

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

Improving WPM2 for (Weighted) Partial MaxSAT.

Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Improving SAT-Based Weighted MaxSAT Solvers.

Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy

Proceedings of the Principles and Practice of Constraint Programming, 2012