Survey of Disjoint NP-Pairs and Relations to Propositional Proof Systems

Christian Glaßer, Alan L. Selman, Liyu Zhang. Survey of Disjoint NP-Pairs and Relations to Propositional Proof Systems. Electronic Colloquium on Computational Complexity (ECCC), (072), 2005. [doi]

Abstract

Abstract is missing.