Space proof complexity for random 3-CNFs.

Patrick Bennett Ilario Bonacina Nicola Galesi Tony Huynh Mike Molloy Paul Wollan

Published in: Inf. Comput. (2017)

Keyphrases

computational complexity
theorem proving
evolutionary algorithm
space complexity
space requirements
low dimensional
higher dimensional
neural network
learning algorithm
worst case
orders of magnitude
theorem prover