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
3 NP-Completeness, Proof Systems, and Disjoint NP-Pairs Dose, Titus et al. 2020
4 Emptiness Problems for Integer Circuits Barth, Dominik et al. 2017
5 Applications of Discrepancy Theory in Multiobjective Approximation Glaßer, Christian et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 5

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