Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approach.

Carlos Anstegui, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider, Hai Xia

Browse the full ICCS paper archive.