Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approach | Publicación