Journal: Electronic Colloquium on Computational Complexity (ECCC)

Volume 8, Issue 44

0 -- 0Pavel Pudlák. On reducibility and symmetry of disjoint NP-pairs