Alice Mu

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Communities In Social Networks

Unsatisfiable Cores

Boolean Formula

Community Structure

Top Venues

Publications

Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh
On the Hierarchical Community Structure of Practical Boolean Formulas. SAT (2021)
Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh
On the Hierarchical Community Structure of Practical SAT Formulas. CoRR (2021)