TY  - RPRT
TI  - On the Hardness of SAT with Community Structure
AU  - Nathan Mull
AU  - Daniel J. Fremont
AU  - Sanjit A. Seshia
PY  - 2016
UR  - https://arxiv.org/abs/1602.08620
ID  - 1602.08620
ER  -