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

Abstract

Full Citation:

Carlos Ans'otegui, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider, Hai Xia. Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approach. Computational Science - ICCS 2025 - 25th International Conference, Singapore, July 7-9, 2025, Proceedings, Part II (Michael H. Lees and Wentong Cai and Siew Ann Cheong and Yi Su and David Abramson and Jack J. Dongarra and Peter M. A. Sloot), volume 15904 of Lecture Notes in Computer Science, pages 35-49, 2025, Springer.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.

Hai Xia

Hai Xia is a Project Assistant at the Algorithms and Complexity Group.