NP-Completeness, Proof Systems, and Disjoint NP-Pairs.

Titus Dose, Christian Glaer

Browse the full STACS paper archive.