Joel Gabàs

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
WPM3: An (in)complete algorithm for weighted partial MaxSAT.
Artif. Intell., 2017

2016
SAT-based approaches for constraint optimization.
PhD thesis, 2016

Exploiting subproblem optimization in SAT-based MaxSAT algorithms.
J. Heuristics, 2016

MaxSAT by improved instance-specific algorithm configuration.
Artif. Intell., 2016

2015
Exploiting the Structure of Unsatisfiable Cores in MaxSAT.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2013
Solving (Weighted) Partial MaxSAT with ILP.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

Improving WPM2 for (Weighted) Partial MaxSAT.
Proceedings of the Principles and Practice of Constraint Programming, 2013

2012
Improving SAT-Based Weighted MaxSAT Solvers.
Proceedings of the Principles and Practice of Constraint Programming, 2012


  Loading...