Concepedia
Annals of Pure and Applied Logic · 2007 · 46 citations · 11 references
HumanitiesMathematicsLogicIntuitionistic LogicPhilosophical LogicPhilosophy Of LogicLower Bound ComputationLower Bound Techniques
11
The ellipsoid method and its consequences in combinatorial optimization
Martin Grötschel, László Lovász, Alexander Schrijver · COMBINATORICA · 1981 · 2K citations
Natural Sciences, Mathematics, Algorithms +8
The monotone circuit complexity of boolean functions
Noga Alon, Ravi B. Boppana · COMBINATORICA · 1987 · 350 citations
Computing, Computer Science, Mathematics +14
Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
Jan Krajı́ček · Journal of Symbolic Logic · 1997 · 299 citations
Intuitionistic propositional logic is polynomial-space complete
Richard Statman · Theoretical Computer Science · 1979 · 233 citations · Full text
Computing, Computer Science, Mathematics +11
Polynomial size proofs of the propositional pigeonhole principle
Samuel R. Buss · Journal of Symbolic Logic · 1987 · 194 citations
Computing, Computer Science, Mathematics +10