SAT-based models for overlapping community detection in networks

Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais. SAT-based models for overlapping community detection in networks. Computing, 102(5):1275-1299, 2020. [doi]

Abstract

Abstract is missing.