Generating Hard Instances for MaxSAT | Publicación