Popularity-similarity random SAT formulas | Publicación