Space proof complexity for random 3-CNFs | Publicación