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