On the Hierarchical Community Structure of Practical Boolean Formulas

Chunxiao Li, Jonathan Chung, Soham Mukherjee +5

Modern CDCL SAT solvers easily solve industrial instances containing tens of millions of variables and clauses, despite the theoretical intractability of the SAT problem. This gap…