JOEL
GABAS MASIP
BECI
![Foto de JOEL](/img/nophoto.png)
![Foto de Universitat Politècnica de Catalunya](/img/noimage_org.png)
Universitat Politècnica de Catalunya
Barcelona, EspañaPublicaciones en colaboración con investigadores/as de Universitat Politècnica de Catalunya (2)
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)