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}, }