On the existence of strong proof complexity generators.

Published in: Electron. Colloquium Comput. Complex. (2022)

Keyphrases

neural network
worst case
lower complexity
multiscale
decision problems
complexity analysis
knowledge representation
theorem prover
space complexity
complementarity problems
complete axiomatization
conjunctive query containment