Login / Signup

Space characterizations of complexity measures and size-space trade-offs in propositional proof systems.

Theodoros PapamakariosAlexander A. Razborov
Published in: J. Comput. Syst. Sci. (2023)
Keyphrases
  • trade off
  • complexity measures
  • low dimensional
  • neural network
  • decision trees
  • query processing