C Glaßer, AL Selman, S Sengupta, L Zhang - SIAM Journal on Computing, 2004 - SIAM
We study the question of whether the class DisjNP of disjoint pairs (A, B) of NP-sets contains
a complete pair. The question relates to the question of whether optimal proof systems exist …