Author:
Ben-Sasson* Eli,Impagliazzo† Russell,Wigderson‡ Avi
Publisher
Springer Science and Business Media LLC
Subject
Computational Mathematics,Discrete Mathematics and Combinatorics
Cited by
63 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. From Quantifier Depth to Quantifier Number: Separating Structures with k Variables;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Space characterizations of complexity measures and size-space trade-offs in propositional proof systems;Journal of Computer and System Sciences;2023-11
3. On (simple) decision tree rank;Theoretical Computer Science;2023-11
4. MaxSAT Resolution and Subcube Sums;ACM Transactions on Computational Logic;2023-01-18
5. Computing Max-SAT Refutations using SAT Oracles;2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI);2021-11