On the Hierarchical Community Structure of Practical Boolean Formulas.
Chunxiao LiJonathan ChungSoham MukherjeeMarc VinyalsNoah FlemingAntonina KolokolovaAlice MuVijay GaneshPublished in: SAT (2021)
Keyphrases
- community structure
- complex networks
- community detection
- boolean formula
- social networks
- network analysis
- overlapping communities
- communities in social networks
- practical problems
- real world networks
- social network analysis
- community detection algorithms
- search algorithm
- special case
- linear constraints
- unsatisfiable cores