Patrick Bennett, Ilario Bonacina, Nicola Galesi, Tony Huynh, Mike Molloy, Paul Wollan. Space proof complexity for random 3-CNFs. Inf. Comput., 255:165-176, 2017. [doi]
@article{BennettBGHMW17,
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 = {2017},
doi = {10.1016/j.ic.2017.06.003},
url = {https://doi.org/10.1016/j.ic.2017.06.003},
researchr = {https://researchr.org/publication/BennettBGHMW17},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {255},
pages = {165-176},
}