Login / Signup

Nisan-Wigderson Generators in Proof Complexity: New Lower Bounds.

Erfan Khaniki
Published in: CCC (2022)
Keyphrases
  • lower bound
  • upper bound
  • worst case
  • average case complexity
  • objective function
  • average case
  • database
  • computational complexity
  • space complexity
  • decision problems
  • vc dimension
  • lower and upper bounds