@misc{indiciae86ae570612e9,
  title = {Space proof complexity for random 3-CNFs},
  author = {Patrick Bennett and Ilario Bonacina and Nicola Galesi and Tony Huynh and Mike Molloy and Paul Wollan},
  year = {2015},
  url = {https://arxiv.org/abs/1503.01613},
  note = {Source identifier: 1503.01613}
}