The Community Structure of SAT Formulas.
Carlos AnsóteguiJesús Giráldez-CruJordi LevyPublished in: SAT (2012)
Keyphrases
- community structure
- complex networks
- community detection
- propositional formulas
- quantifier free
- boolean formula
- social networks
- sat solvers
- satisfiability problem
- cnf formula
- real world networks
- network analysis
- sat problem
- search algorithm
- stochastic local search
- propositional satisfiability
- scale free
- truth assignment
- rewrite systems
- boolean satisfiability
- community detection algorithms
- phase transition
- conjunctive normal form
- communities in social networks
- network structure
- max sat
- overlapping communities
- biological networks
- real world social networks
- np complete
- orders of magnitude
- first order logic
- search strategies
- bipartite networks
- topological information
- community mining
- community discovery
- network model