TY  - RPRT
TI  - $\mathrm{P}\ne\mathrm{NP}$ and All Non-Empty Sets in $\mathrm{NP}\cup\mathrm{coNP}$ Have P-Optimal Proof Systems Relative to an Oracle
AU  - Titus Dose
PY  - 2020
UR  - https://arxiv.org/abs/1909.02839
ID  - 1909.02839
ER  -