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

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

doi:10.1007/978-3-031-97629-2_3

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

Reference:

Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT ApproachCarlos Ansótegui, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider, Hai XiaComputational 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 Verlag.

Bibtex Entry:

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