On the Community Structure of Bounded Model Checking SAT Problems.
Guillaume Baud-BerthierJesús Giráldez-CruLaurent SimonPublished in: SAT (2017)
Keyphrases
- bounded model checking
- community structure
- sat problem
- satisfiability problem
- temporal logic
- model checking
- community detection
- constraint satisfaction problems
- formal verification
- sat solvers
- complex networks
- np complete
- phase transition
- linear temporal logic
- randomly generated
- social networks
- sat instances
- network analysis
- real world networks
- propositional satisfiability
- overlapping communities
- community detection algorithms
- multi agent systems
- communities in social networks
- stochastic local search
- constraint satisfaction
- branch and bound
- decision problems
- network structure
- sufficient conditions
- community formation
- cooperative