- Stefan Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin, “Proof Complexity and the Binary Encoding of Combinatorial Principles”, SIAM J. Comput., 53, № 3, 2024,
764 
- Mladen Mikša, Jakob Nordström, “A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds”, J. ACM, 2024, 3675668
- Svyatoslav Gryaznov, Sergei Ovcharov, Artur Riazanov, “Resolution Over Linear Equations: Combinatorial Games for Tree-like Size and Space”, ACM Trans. Comput. Theory, 2024, 3675415