Finding Overlapping Communities in Networks Using Propositional Satisfiability.
Saïd JabbourNizar MhadhbiBadran RaddaouiLakhdar SaisPublished in: EDA (2017)
Keyphrases
- overlapping communities
- propositional satisfiability
- community structure
- community detection
- real world networks
- sat solvers
- automated reasoning
- community discovery
- online social networks
- social networks
- complex networks
- industrial applications
- network analysis
- constraint programming
- propositional logic
- sat problem
- citation networks
- sat instances
- expert systems
- machine learning