Theodoros Papamakarios

According to our database, Theodoros Papamakarios authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Space characterizations of complexity measures and size-space trade-offs in propositional proof systems.

Theodoros Papamakarios, Alexander A. Razborov

J. Comput. Syst. Sci., November, 2023

Depth d Frege systems are not automatable unless P=NP.

Theodoros Papamakarios

Electron. Colloquium Comput. Complex., 2023

2021

A super-polynomial separation between resolution and cut-free sequent calculus.

Theodoros Papamakarios

Electron. Colloquium Comput. Complex., 2021