Author:
Ben-Sasson Eli,Wigderson Avi
Cited by
56 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Explicit Lower Bounds Against Ω(n)-Rounds of Sum-of-Squares;2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS);2022-10
2. On Proof Complexity of Resolution over Polynomial Calculus;ACM Transactions on Computational Logic;2022-07-22
3. Tradeoffs for small-depth Frege proofs;2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS);2022-02
4. The Algorithmic Phase Transition of Random k-SAT for Low Degree Polynomials;2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS);2022-02
5. Chapter 34. Stochastic Boolean Satisfiability;Frontiers in Artificial Intelligence and Applications;2021-02-02