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

Abstract

Full Citation:

Carlos Ansótegui, 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, Wentong Cai, Siew Ann Cheong, Yi Su, David Abramson, Jack J. Dongarra, Peter M. A. Sloot, eds.), 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.