Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability.
Saïd JabbourNizar MhadhbiBadran RaddaouiLakhdar SaisPublished in: AINA (2018)
Keyphrases
- community detection
- propositional satisfiability
- graph clustering
- graph mining
- real world graphs
- community detection algorithms
- real world networks
- sat solvers
- complex networks
- massive graphs
- social networks
- propositional logic
- network analysis
- constraint programming
- automated reasoning
- community structure
- hyper graph
- community discovery
- industrial applications
- sat problem
- graph theory
- max sat
- link prediction
- bipartite networks
- label propagation
- sat instances
- densely connected
- graph databases
- stochastic local search
- search algorithm
- randomly generated
- overlapping communities
- weighted graph
- text mining
- search space