Publisher
Society for Industrial & Applied Mathematics (SIAM)
Subject
General Mathematics,General Computer Science
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hardness Condensation by Restriction;Proceedings of the 56th Annual ACM Symposium on Theory of Computing;2024-06-10
2. Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler–Leman Refinement Steps;Journal of the ACM;2023-07-20
3. Chapter 7. Proof Complexity and SAT Solving;Frontiers in Artificial Intelligence and Applications;2021-02-02
4. Simplified and Improved Separations Between Regular and General Resolution by Lifting;Theory and Applications of Satisfiability Testing – SAT 2020;2020