Fabian Egidy

According to our database, Fabian Egidy authored at least 2 papers between 2022 and 2023.

Collaborative distances:

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

2023

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

Fabian Egidy, Christian Glaßer, Martin Herold

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

2022

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

Anton Ehrmanntraut, Fabian Egidy, Christian Glaßer

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022