SAT-based models for overlapping community detection in networks

DOI10.1007/s00607-020-00803-yzbMath1445.68201OpenAlexW3013947059MaRDI QIDQ783048

Badran Raddaoui, Nizar Mhadhbi, Saïd Jabbour, Lakhdar Saïs

Publication date: 30 July 2020

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00607-020-00803-y

zbMATH Keywords

artificial intelligencepreferencessocial networkMax-SAToverlapping community detectionweighted partial Max-SAT

Mathematics Subject Classification ID

Social networks; opinion dynamics (91D30) Small world graphs, complex networks (graph-theoretic aspects) (05C82) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• GraphBase
• SNAP
• CFinder
• WPM3

Cites Work

• Unnamed Item
• Deterministic small-world communication networks
• Itemset mining: a constraint programming perspective
• WPM3: an (in)complete algorithm for weighted partial MaxSAT
• Community structure in social and biological networks
• Collective dynamics of ‘small-world’ networks
• WPM3

This page was built for publication: SAT-based models for overlapping community detection in networks