Canonical disjoint NP-pairs of propositional proof systems (Q868942): Difference between revisions

@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Q4165426
@@ Property / cites work: Q4165426 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Measures for Public-Key Cryptosystems
@@ Property / cites work: Complexity Measures for Public-Key Cryptosystems / rank @@
+Normal rank
@@ Property / cites work @@
+Disjoint NP-Pairs
@@ Property / cites work: Disjoint NP-Pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Oracles for structural properties: The isomorphism problem and public-key cryptography
+Normal rank
@@ Property / cites work @@
+On the Structure of Polynomial Time Reducibility
@@ Property / cites work: On the Structure of Polynomial Time Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice Embeddings for Abstract Bounded Reducibilities
+Normal rank
@@ Property / cites work @@
+Q4708605
@@ Property / cites work: Q4708605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779177
@@ Property / cites work: Q4779177 / rank @@
+Normal rank
@@ Property / cites work @@
+On reducibility and symmetry of disjoint NP pairs.
+Normal rank
@@ Property / cites work @@
+Q3312209
@@ Property / cites work: Q3312209 / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform approach to obtain diagonal sets in complexity classes
+Normal rank