An Exponential Lower Bound to the Size of Bounded Depth Frege . . . (1994)

by Jan Krajícek , Pavel Pudlák , Alan Woods
Citations:68 - 10 self