On the Hardness of SAT with Community Structure.

Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia

Browse the full SAT paper archive.