Theodoros Papamakarios

According to our database, Theodoros Papamakarios authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

2024

Depth-d Frege Systems Are Not Automatable Unless P = NP.

Theodoros Papamakarios

Proceedings of the 39th Computational Complexity Conference, 2024

2023

A Super-Polynomial Separation Between Resolution and Cut-Free Sequent Calculus.

Theodoros Papamakarios

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2022

Space Characterizations of Complexity Measures and Size-Space Trade-Offs in Propositional Proof Systems.

Theodoros Papamakarios, Alexander A. Razborov

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022