Fabian Egidy | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Christian Glaßer
2 publications
Anton Ehrmanntraut
1 publication
Martin Herold
1 publication

research

∙ 04/28/2023

Upward Translation of Optimal and P-Optimal Proof Systems in the Boolean Hierarchy over NP

We study the existence of optimal and p-optimal proof systems for classe...

0 Fabian Egidy, et al. ∙

research

∙ 03/21/2022

Oracle with P=NP∩ coNP, but no Many-One Completeness in UP, DisjNP, and DisjCoNP

We construct an oracle relative to which P = NP∩coNP, but there are no m...

0 Anton Ehrmanntraut, et al. ∙