SAT-based models for overlapping community detection in networks
scientific article; zbMATH DE number 7225987