Lower Bounds for a Proof System with an Expentential Speed-up over Constant-Depth Frege Systems and over Polynomial Calculus.

Jan Krajcek

Browse the full MFCS paper archive.