An Empirical Study of Encodings for Group MaxSAT | Publicación