Oracle with P = NP ∩ coNP, but No Many-One Completeness in UP, DisjNP, and DisjCoNP.

Anton Ehrmanntraut, Fabian Egidy, Christian Glaer

Browse the full MFCS paper archive.