Searching for "Disjoint NP-Pairs" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

Disjoint NP-Pairs
by Christian Glaßer, Alan L. Selman, Samik Sengupta, Liyu Zhang, Austauschdienst Daad — 2003
…Disjoint NP-Pairs Christian Glaer 1 Alan L. Selman Samik Sengupta Liyu Zhang Department…
Cited by 13 (6 self) – Add To MetaCart

On provably disjoint NP-pairs
by Alexander A. Razborov, Alexander A. Razborov — 1994 — Electronic Colloquium on Computational Complexity
…BRICS Basic Research in Computer Science On provably disjoint NP-pairs Alexander A. Razborov BRICS…
Cited by 28 (2 self) – Add To MetaCart

Reductions between Disjoint NP-Pairs
by Christian Glaßer, Alan L. Selman, Samik Sengupta — 2004 — Information and Computation
… Reductions between Disjoint NP-Pairs Christian Glaer # Lehrstuhl f ur Informatik IV Universit…
Cited by 5 (2 self) – Add To MetaCart

On reducibility and symmetry of disjoint NP-pairs
by Pavel Pudlak — 2001
…On reducibility and symmetry of disjoint NP-pairs Pavel Pudl'ak ? Mathematical Institute, AV CR…
Cited by 17 (0 self) – Add To MetaCart

Disjoint NP-pairs from propositional proof systems
by Olaf Beyersdorff — 2006 — In Proc. 3rd Conference on Theory and Applications of Models of Computation
…Disjoint NP-Pairs from Propositional Proof Systems (Extended Abstract) Olaf Beyersdorff Institut…
Cited by 4 (2 self) – Add To MetaCart

Canonical disjoint NP-pairs of propositional proof systems
by Samik Sengupta, Samik Sengupta, Christian Glaßer, Christian Glaßer, Christian Glaßer, Christian Glaßer, Christian Glaßer, Alan L. Selman, Alan L. Selman, Alan L. Selman, Liyu Zhang, Liyu Zhang — 2005 — In Proc. 30th International Symposium on the Mathematical Foundations of Computer Science
…NP-Completeness and Disjoint NP-Pairs Christian Glaßer Habilitationsschrift zur Erlangung der…
Cited by 4 (1 self) – Add To MetaCart

Survey of disjoint NP-pairs and relations to propositional proof systems
by Christian Glaßer, Alan L. Selman, Liyu Zhang — 2006 — Essays in Theoretical Computer Science in Memory of Shimon Even
…1 Introduction Survey of Disjoint NP-Pairs and Relations to Propositional Proof Systems Christian…
Cited by 5 (2 self) – Add To MetaCart

Some consequences of cryptographical conjectures for S 2 1 and EF
by Jan Krajícek, Pavel Pudlák — 1995
… Republic Abstract. We show that there is a pair of disjoint NP-sets, whose disjointness is provable in S 1…
Cited by 59 (6 self) – Add To MetaCart

Some Consequences of Cryptographical Conjectures for
by Jan Kraj'icek And — 1995
… Republic Abstract. We show that there is a pair of disjoint NP-sets, whose disjointness is provable in S 1…
Add To MetaCart

BRICS Research Series, 1994
by Brics, Gordon Plotkin, Glynn Winskel Bistructures, Javier Esparza, Decidability Issues, Petri Nets, Andr Joyal, Mogens Nielsen, Mogens Nielsen, Glynn Winskel Bisimulation From — 1998
…. Razborov. On provably disjoint NP-pairs. November 1994. 27 pp. [RS-94-35] Abstract, PostScript. Gerth…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB