- Ciències Mèdiques Bàsiques
Departamento
Instituto de Investigación en Inteligencia Artificial
Cerdanyola del Vallès, EspañaPublicaciones en colaboración con investigadores/as de Instituto de Investigación en Inteligencia Artificial (3)
2016
-
Exploiting subproblem optimization in SAT-based MaxSAT algorithms
Journal of Heuristics, Vol. 22, Núm. 1, pp. 1-53
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)