Impact of Community Structure on SAT Solver Performance.
Zack NewshamVijay GaneshSebastian FischmeisterGilles AudemardLaurent SimonPublished in: SAT (2014)
Keyphrases
- community structure
- sat solvers
- complex networks
- community detection
- orders of magnitude
- social networks
- sat solving
- boolean satisfiability
- constraint satisfaction
- communities in social networks
- sat instances
- real world networks
- sat problem
- search space
- overlapping communities
- network analysis
- search strategies
- community formation
- propositional satisfiability
- constraint solver
- network structure
- boolean formula
- machine learning
- phase transition
- max sat
- clause learning
- probabilistic planning
- evolutionary algorithm