Author:
Beame Paul,Impagliazzo Russell,Krajíček Jan,Pitassi Toniann,Pudlák Pavel,Woods Alan
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Proof Complexity of Monotone Branching Programs;Revolutions and Revelations in Computability;2022
2. A Logical Autobiography;Outstanding Contributions to Logic;2021-09-25
3. Proof complexity of substructural logics;Annals of Pure and Applied Logic;2021-07
4. Typical forcings, NP search problems and an extension of a theorem of Riis;Annals of Pure and Applied Logic;2021-04
5. Polynomial Calculus Space and Resolution Width;2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS);2019-11