Generating SAT instances with community structure | Publicación