Sign in
Space characterizations of complexity measures and size-space trade-offs in propositional proof systems.
Theodoros Papamakarios
Alexander A. Razborov
Published in:
J. Comput. Syst. Sci. (2023)
Keyphrases
</>
trade off
complexity measures
low dimensional
neural network
decision trees
query processing