Author:
Buresh-Oppenheim Joshua,Galesi Nicola,Hoory Shlomo,Magen Avner,Pitassi Toniann
Publisher
Theory of Computing Exchange
Subject
Computational Theory and Mathematics,Theoretical Computer Science
Cited by
48 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Cutting Planes Width and the Complexity of Graph Isomorphism Refutations;ACM Transactions on Computational Logic;2024-07-18
2. Bibliography;Proof Complexity;2019-03-28
3. The Nature of Proof Complexity;Proof Complexity;2019-03-28
4. Model Theory and Lower Bounds;Proof Complexity;2019-03-28
5. Hard Tautologies;Proof Complexity;2019-03-28