Eigenvector Centrality in Industrial SAT Instances.
George KatsirelosLaurent SimonPublished in: CP (2012)
Keyphrases
- sat instances
- sat solvers
- satisfiability problem
- randomly generated
- sat problem
- social networks
- computational properties
- industrial applications
- random sat instances
- boolean satisfiability
- social network analysis
- phase transition
- stochastic local search
- network analysis
- random instances
- spectral clustering
- natural language
- genetic algorithm
- search tree
- information retrieval systems