Space proof complexity for random 3-CNFs.

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

Published in: CoRR (2015)

Keyphrases

computational complexity
space requirements
theorem proving
complex valued
search space
worst case
space time
decision problems
higher dimensional
conjunctive query containment