A super-polynomial separation between resolution and cut-free sequent calculus. - Theodoros Papamakarios (Electron. Colloquium Comput. Complex., 2021)

Depth d Frege systems are not automatable unless P=NP. - Theodoros Papamakarios (Electron. Colloquium Comput. Complex., 2023)

Space characterizations of complexity measures and size-space trade-offs in propositional proof systems. - Theodoros Papamakarios; Alexander A. Razborov (J. Comput. Syst. Sci., 2023)