P-Optimal Proof Systems for Each NP-Set but no Complete Disjoint NP-Pairs Relative to an Oracle.

Titus Dose

Browse the full MFCS paper archive.