SAT-based Preprocessing for MaxSAT (extended version) | Publicación