@inproceedings{AnsoteguiRSX25,
 author = {Carlos Ans{\'{o}}tegui and
Vaidyanathan Peruvemba Ramaswamy and
Stefan Szeider and
Hai Xia},
 booktitle = {Computational Science - {ICCS} 2025 - 25th International Conference,
Singapore, July 7-9, 2025, Proceedings, Part {II}},
 doi = {10.1007/978-3-031-97629-2_3},
 editor = {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},
 keywords = {coe, strides},
 pages = {35--49},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {Uncovering and Verifying Optimal Community Structure in Complex Networks:
{A} {MaxSAT} Approach},
 url = {https://doi.org/10.1007/978-3-031-97629-2_3},
 volume = {15904},
 year = {2025}
}