Login / Signup
Space characterizations of complexity measures and size-space trade-offs in propositional proof systems.
Theodoros Papamakarios
Alexander A. Razborov
Published in:
Electron. Colloquium Comput. Complex. (2021)
Keyphrases
</>
trade off
feature vectors
evolutionary algorithm
genetic algorithm
learning algorithm
low dimensional
complexity measures