ContactPerson: selman@cse.buffalo.edu Remote host: selman.cse.buffalo.edu ### Begin Citation ### Do not delete this line ### %R 2005-19 %U /tmp/pairs.pdf %A Glasser, Christian %A Selman, Alan L. %A Zhang, Liyu %T Survey of Disjoint NP-Pairs and Relations to Propositional Proof Systems %D July 07, 2005 %I Department of Computer Science and Engineering, SUNY Buffalo %K disjoint NP-pairs, propositional proof systems, canonical pairs, degrees %Y F.1.3