SAT-Based Preprocessing for MaxSAT | Publicación