| 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 |