RC2: an Efficient MaxSAT Solver | Publicación