Analyzing the Instances of the MaxSAT Evaluation | Publicación