Theodoros Papamakarios

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Complexity Measures

Sequent Calculus

Top Venues

Electron. Colloquium Comput. Complex.

J. Comput. Syst. Sci.

Publications

Theodoros Papamakarios
Depth-d Frege Systems Are Not Automatable Unless P = NP. CCC (2024)
Theodoros Papamakarios
A Super-Polynomial Separation Between Resolution and Cut-Free Sequent Calculus. MFCS (2023)
Theodoros Papamakarios
Depth d Frege systems are not automatable unless P=NP. Electron. Colloquium Comput. Complex. (2023)
Theodoros Papamakarios, Alexander A. Razborov
Space characterizations of complexity measures and size-space trade-offs in propositional proof systems. J. Comput. Syst. Sci. 137 (2023)
Theodoros Papamakarios, Alexander A. Razborov
Space Characterizations of Complexity Measures and Size-Space Trade-Offs in Propositional Proof Systems. ICALP (2022)
Theodoros Papamakarios, Alexander A. Razborov
Space characterizations of complexity measures and size-space trade-offs in propositional proof systems. Electron. Colloquium Comput. Complex. 28 (2021)
Theodoros Papamakarios
A super-polynomial separation between resolution and cut-free sequent calculus. Electron. Colloquium Comput. Complex. 28 (2021)