Mika Göös, Ilan Newman, Artur Riazanov, Dmitry Sokolov, Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024, 2016
Theodoros Papamakarios, Alexander Razborov, “Space characterizations of complexity measures and size-space trade-offs in propositional proof systems”, J. Comput. Syst. Sci., 137 (2023), 20–36
Martin Grohe, Moritz Lichter, Daniel Neuen, Pascal Schweitzer, 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), 2023, 798
Christoph Berkholz, Jakob Nordström, “Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler–Leman Refinement Steps”, J. ACM, 70:5 (2023), 1
Christoph Berkholz, Jakob Nordström, “Supercritical Space-Width Trade-offs for Resolution”, SIAM J. Comput., 49:1 (2020), 98
Marc Vinyals, Jan Elffers, Jan Johannsen, Jakob Nordström, Lecture Notes in Computer Science, 12178, Theory and Applications of Satisfiability Testing – SAT 2020, 2020, 182
Ankit Garg, Mika Göös, Pritish Kamath, Dmitry Sokolov, Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, 2018, 902
Alexander Razborov, “On Space and Depth in Resolution”, Comput. Complexity, 27:3 (2018), 511–559
Alexander Razborov, “On the width of semi-algebraic proofs and algorithms”, Math. Oper. Res., 42:4 (2017), 1106–1134
Massimo Lauria, Jan Elffers, Jakob Nordström, Marc Vinyals, Lecture Notes in Computer Science, 10491, Theory and Applications of Satisfiability Testing – SAT 2017, 2017, 464