Community Structure in Industrial SAT Instances | Publicación