Login / Signup
Lower Bounds for a Proof System with an Expentential Speed-up over Constant-Depth Frege Systems and over Polynomial Calculus.
Jan Krajícek
Published in:
MFCS (1997)
Keyphrases
</>
lower bound
management system
upper bound
computer systems
retrieval systems