Community Structure in Industrial SAT Instances.
Carlos AnsóteguiMaria Luisa BonetJesús Giráldez-CruJordi LevyLaurent SimonPublished in: J. Artif. Intell. Res. (2019)
Keyphrases
- bipartite networks
- community structure
- sat instances
- community detection
- satisfiability problem
- sat solvers
- randomly generated
- complex networks
- sat problem
- social networks
- network analysis
- computational properties
- phase transition
- community detection algorithms
- real world networks
- stochastic local search
- random sat instances
- overlapping communities
- network structure
- communities in social networks
- search tree
- temporal logic
- search algorithm
- max sat
- orders of magnitude
- constraint satisfaction problems