Publicaciones (7) Publicaciones de JOEL GABAS MASIP

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

  2. Maxwell: la teoría electromagnética de la luz

    Arbor: Ciencia, pensamiento y cultura, Núm. 775

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)