TY  - RPRT
TI  - $\mathrm{P}$-Optimal Proof Systems for Each $\mathrm{coNP}$-Complete Set and no Complete Problems in $\mathrm{NP}\cap\mathrm{coNP}$ Relative to an Oracle
AU  - Titus Dose
PY  - 2020
UR  - https://arxiv.org/abs/1910.08571
ID  - 1910.08571
ER  -