Publicaciones en las que colabora con JOEL GABAS MASIP (6)
2017
-
WPM3: An (in)complete algorithm for weighted partial MaxSAT
Artificial Intelligence, Vol. 250, pp. 37-57
2016
-
Exploiting subproblem optimization in SAT-based MaxSAT algorithms
Journal of Heuristics, Vol. 22, Núm. 1, pp. 1-53
-
MaxSAT by improved instance-specific algorithm configuration
Artificial Intelligence, Vol. 235, pp. 26-39
2015
-
Exploiting the structure of unsatisfiable cores in MaxSAT
IJCAI International Joint Conference on Artificial Intelligence
2013
-
Improving WPM2 for (weighted) partial MaxSAT
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
-
Improving SAT-based weighted MaxSAT solvers
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)