Community Structure in Industrial SAT Instances.
Carlos AnsóteguiMaria Luisa BonetJesús Giráldez-CruJordi LevyPublished in: CoRR (2016)
Keyphrases
- community structure
- sat instances
- complex networks
- sat solvers
- satisfiability problem
- community detection
- randomly generated
- sat problem
- social networks
- real world networks
- community detection algorithms
- network analysis
- random sat instances
- computational properties
- network structure
- stochastic local search
- phase transition
- search space
- np complete
- overlapping communities
- communities in social networks
- temporal logic
- small world
- social network analysis
- community discovery
- evolutionary algorithm
- community formation