Author:
Bellantoni Stephen,Pitassi Toniann,Urquhart Alasdair
Publisher
Society for Industrial & Applied Mathematics (SIAM)
Subject
General Mathematics,General Computer Science
Cited by
59 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On small-depth Frege proofs for PHP;2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS);2023-11-06
2. Bounded-depth Frege complexity of Tseitin formulas for all graphs;Annals of Pure and Applied Logic;2023-01
3. Tradeoffs for small-depth Frege proofs;2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS);2022-02
4. A Logical Autobiography;Outstanding Contributions to Logic;2021-09-25
5. Typical forcings, NP search problems and an extension of a theorem of Riis;Annals of Pure and Applied Logic;2021-04