Author:
Beame Paul,Karp Richard,Pitassi Toniann,Saks Michael
Publisher
Society for Industrial & Applied Mathematics (SIAM)
Subject
General Mathematics,General Computer Science
Cited by
60 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Random (log )-CNF Are Hard for Cutting Planes (Again);Proceedings of the 56th Annual ACM Symposium on Theory of Computing;2024-06-10
2. On CDCL-Based Proof Systems with the Ordered Decision Strategy;SIAM Journal on Computing;2022-08
3. Chapter 22. Connections to Statistical Physics;Frontiers in Artificial Intelligence and Applications;2021-02-02
4. Chapter 10. Random Satisfiabiliy;Frontiers in Artificial Intelligence and Applications;2021-02-02
5. Reasons for Hardness in QBF Proof Systems;ACM Transactions on Computation Theory;2020-05-14