Return to Article Details Community Structure in Industrial SAT Instances Download Download PDF