Hierarchical Community Structure of Boolean SAT Formulas

This website is for the supplementary material related to our paper, On the Hierarchical Community Structure of Practical SAT Formulas.

A full version of our paper, including an appendix (supplemental material), is available here.