Relating the bounded arithmetic and polynomial time hierarchies (Q1899144): Difference between revisions

@@ Property / cites work @@
+Q4325772
@@ Property / cites work: Q4325772 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3800030
@@ Property / cites work: Q3800030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3476809
@@ Property / cites work: Q3476809 / 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 @@
+An Application of Boolean Complexity to Separation Problems in Bounded Arithmetic
+Normal rank
@@ Property / cites work @@
+Q3999199
@@ Property / cites work: Q3999199 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing machines that take advice
@@ Property / cites work: Turing machines that take advice / rank @@
+Normal rank
@@ Property / cites work @@
+Q4010360
@@ Property / cites work: Q4010360 / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of Bounded Arithmetic and Bounded Query Classes
+Normal rank
@@ Property / cites work @@
+Bounded arithmetic and the polynomial hierarchy
@@ Property / cites work: Bounded arithmetic and the polynomial hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Existence and feasibility in arithmetic
@@ Property / cites work: Existence and feasibility in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4010368
@@ Property / cites work: Q4010368 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3487339
@@ Property / cites work: Q3487339 / rank @@
+Normal rank
@@ Property / cites work @@
+On the scheme of induction for bounded arithmetic formulas
+Normal rank
@@ Property / cites work @@
+Notes on polynomially bounded arithmetic
@@ Property / cites work: Notes on polynomially bounded arithmetic / rank @@
+Normal rank