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

Download PDF
Open Webpage

Carlos Ansótegui, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider, Hai Xia

Published: 2025, Last Modified: 28 Jan 2026ICCS (2) 2025EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Network modularity is central to understanding phenomena in diverse domains, from biology and social science to engineering and computational physics. However, computing the optimal modularity—an NP-hard measure quantifying community strength—has remained computationally intractable at large scales. Most approaches resort to heuristics without formal optimality guarantees.