Community Structure in Industrial SAT Instances | Read Paper on Bytez