Space proof complexity for random 3-CNFs via a (2-ε)-Hall's Theorem | Publicación