Consequences of the provability of NP ⊆ P/poly (Q5444705): Difference between revisions

@@ Property / author @@
-Stephen A. Cook
@@ Property / author: Stephen A. Cook / rank @@
-Normal rank
@@ Property / author @@
+Stephen A. Cook
@@ Property / author: Stephen A. Cook / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2087012565
@@ Property / OpenAlex ID: W2087012565 / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of replacement in weak arithmetic
@@ Property / cites work: The strength of replacement in weak arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+On truth-table reducibility to SAT
@@ Property / cites work: On truth-table reducibility to SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Relating the bounded arithmetic and polynomial time hierarchies
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded queries to SAT and the Boolean hierarchy
@@ Property / cites work: Bounded queries to SAT and the Boolean hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Structure and definability in general bounded arithmetic theories
+Normal rank
@@ Property / cites work @@
+Bounded arithmetic and the polynomial hierarchy
@@ Property / cites work: Bounded arithmetic and the polynomial hierarchy / rank @@
+Normal rank

Consequences of the provability of <i>NP</i> ⊆ <i>P</i>/<i>poly</i> (Q5444705): Difference between revisions