Generating SAT instances with community structure.
Jesús Giráldez-CruJordi LevyPublished in: Artif. Intell. (2016)
Keyphrases
- community structure
- sat instances
- complex networks
- community detection
- sat solvers
- satisfiability problem
- social networks
- real world networks
- network analysis
- randomly generated
- communities in social networks
- sat problem
- computational properties
- random sat instances
- phase transition
- overlapping communities
- community detection algorithms
- stochastic local search
- branch and bound algorithm
- special case
- constraint satisfaction
- bipartite networks
- search algorithm
- community formation
- upper bound
- logic programs
- np complete
- network structure
- branch and bound
- search strategies
- search tree