Theodoros Papamakarios

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Depth-d Frege Systems Are Not Automatable Unless P = NP.
Proceedings of the 39th Computational Complexity Conference, 2024

2023
A Super-Polynomial Separation Between Resolution and Cut-Free Sequent Calculus.
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.
Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022


  Loading...