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]
No references recorded for this publication.
No citations of this publication recorded.