Login / Signup
On the Hierarchical Community Structure of Practical SAT Formulas.
Chunxiao Li
Jonathan Chung
Soham Mukherjee
Marc Vinyals
Noah Fleming
Antonina Kolokolova
Alice Mu
Vijay Ganesh
Published in:
CoRR (2021)
Keyphrases
</>
community structure
complex networks
community detection
social networks
real world networks
network analysis
scale free
communities in social networks
biological networks
satisfiability problem
overlapping communities
community formation
np complete
sat solvers
practical problems
community detection algorithms