Exploiting subproblem optimization in SAT-based MaxSAT algorithms | Publicación