Login / Signup
Theodoros Papamakarios
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 7
Top Topics
Expert Systems
Complexity Measures
Wide Class
Sequent Calculus
Top Venues
Electron. Colloquium Comput. Complex.
J. Comput. Syst. Sci.
ICALP
MFCS
</>
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)