Login / Signup

On the existence of Strong Proof Complexity Generators.

Jan Krajícek
Published in: Bull. Symb. Log. (2024)
Keyphrases
  • social networks
  • case study
  • high level
  • multiscale
  • worst case
  • complexity analysis