Publications

• On the Hierarchical Community Structure of Practical SAT Formulas
  Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, and Vijay Ganesh
  [pdf] [bib] [slides] [talk]