REPORTS > DETAIL:
Paper:
TR05-072 | 11th July 2005 00:00
Survey of Disjoint NP-Pairs and Relations to Propositional Proof Systems
TR05-072 Authors: Christian Glaßer, Alan L. Selman, Liyu Zhang
Publication: 14th July 2005 12:30
Downloads: 514
Keywords:
Abstract:
We survey recent results on disjoint NP-pairs. In particular, we survey the relationship of disjoint NP-pairs to the theory of proof systems for propositional calculus.