Exponential lower bound for bounded-depth Frege proofs of $\mathrm{PHP}^{n+1}_n$ · Prove2Me

P

Initializing...

Exponential lower bound for bounded-depth Frege proofs of $\mathrm{PHP}^{n+1}_n$ · Prove2Me