Chunxiao Li 0002, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh. On the Hierarchical Community Structure of Practical Boolean Formulas. In Chu Min Li, Felip Manyà, editors, Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings. Volume 12831 of Lecture Notes in Computer Science, pages 359-376, Springer, 2021. [doi]
Abstract is missing.