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

@@ Property / author @@
-Selman, Alan L.
@@ Property / author: Selman, Alan L. / rank @@
-Normal rank
@@ Property / author @@
+Selman, Alan L.
@@ Property / author: Selman, Alan L. / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2006.10.006
+Normal rank
@@ Property / OpenAlex ID @@
+W1979054927
@@ Property / OpenAlex ID: W1979054927 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:868942