On the Community Structure of Bounded Model Checking SAT Problems | Publicación