Login / Signup
On the existence of strong proof complexity generators.
Jan Krajícek
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