Using Community Structure to Detect Relevant Learnt Clauses.
Carlos AnsóteguiJesús Giráldez-CruJordi LevyLaurent SimonPublished in: SAT (2015)
Keyphrases
- community structure
- community detection
- complex networks
- social networks
- real world networks
- network analysis
- overlapping communities
- detection method
- scale free
- communities in social networks
- network structure
- detection algorithm
- biological networks
- graph theory
- machine learning
- community detection algorithms
- search space
- markov chain
- community discovery
- community mining