No. Title Author Year
1 Upward Translation of Optimal and P-Optimal Proof Systems in the Boolean Hierarchy over NP Egidy, Fabian et al. 2023
2 Oracle with P = NP ∩ coNP, but No Many-One Completeness in UP, DisjNP, and DisjCoNP Ehrmanntraut, Anton et al. 2022
Current Page :
Number of result pages: 1
Number of documents: 2

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI