Space proof complexity for random 3-CNFs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Patrick Bennett' in GoogleThis author has not been identified. Look up 'Ilario Bonacina' in GoogleThis author has not been identified. Look up 'Nicola Galesi' in GoogleThis author has not been identified. Look up 'Tony Huynh' in GoogleThis author has not been identified. Look up 'Mike Molloy' in GoogleThis author has not been identified. Look up 'Paul Wollan' in Google

runs on WebDSL