On the Community Structure of Bounded Model Checking SAT Problems.

Guillaume Baud-Berthier, Jess Girldez-Cru, Laurent Simon

Browse the full SAT paper archive.