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
Christoph Berkholz, Jakob Nordström, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, 267