An Exponential Lower Bound to the Size of Bounded Depth Frege . . . (1994)
by
Jan Krajícek
,
Pavel Pudlák
,
Alan Woods
| Citations: | 64 - 10 self |
BibTeX
@MISC{Krajícek94anexponential,
author = {Jan Krajícek and Pavel Pudlák and Alan Woods},
title = {An Exponential Lower Bound to the Size of Bounded Depth Frege . . . },
year = {1994}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We prove lower bounds of the form exp (n ffl d ) ; ffl d ? 0; on the length of proofs of an explicit sequence of tautologies, based on the Pigeonhole Principle, in proof systems using formulas of depth d; for any constant d: This is the largest lower bound for the strongest proof system, for which any superpolynomial lower bounds are known.
