Cited By
View all- Berkholz CNordström J(2023)Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler–Leman Refinement StepsJournal of the ACM10.1145/319525770:5(1-32)Online publication date: 11-Oct-2023
- Håstad J(2023)On small-depth Frege proofs for PHP2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS)10.1109/FOCS57990.2023.00010(37-49)Online publication date: 6-Nov-2023
- Gryaznov SPudlák PTalebanfard N(2022)Linear branching programs and directional affine extractorsProceedings of the 37th Computational Complexity Conference10.4230/LIPIcs.CCC.2022.4(1-16)Online publication date: 20-Jul-2022
- Show More Cited By