Locality in Random SAT Instances | Publicación