Community detection is a crucial task in many graph data analysis pipelines, with applications ranging from social networks to biology and transportation systems. This work introduces FO-SM-CD, a novel constraint programming framework for community …