Community Structure in Industrial SAT Instances

Open in new window