Publicaciones en las que colabora con JOEL GABAS MASIP (6)

2017

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

    Artificial Intelligence, Vol. 250, pp. 37-57

2016

  1. Exploiting subproblem optimization in SAT-based MaxSAT algorithms

    Journal of Heuristics, Vol. 22, Núm. 1, pp. 1-53

  2. MaxSAT by improved instance-specific algorithm configuration

    Artificial Intelligence, Vol. 235, pp. 26-39

2015

  1. Exploiting the structure of unsatisfiable cores in MaxSAT

    IJCAI International Joint Conference on Artificial Intelligence

2013

  1. Improving WPM2 for (weighted) partial MaxSAT

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2012

  1. Improving SAT-based weighted MaxSAT solvers

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)