FRAGMENTS OF APPROXIMATE COUNTING (Q2921008): Difference between revisions

@@ Property / OpenAlex ID @@
+W2125998724
@@ Property / OpenAlex ID: W2125998724 / rank @@
+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 @@
+On the weak pigeonhole principle
@@ Property / cites work: On the weak pigeonhole principle / rank @@
+Normal rank
@@ Property / cites work @@
+Structures interpretable in models of bounded arithmetic
+Normal rank
@@ Property / cites work @@
+A model-theoretic characterization of the weak pigeonhole principle
+Normal rank
@@ Property / cites work @@
+The provably total search problems of bounded arithmetic
+Normal rank
@@ Property / cites work @@
+A Switching Lemma for Small Restrictions and Lower Bounds for <i>k</i>-DNF Resolution
+Normal rank
@@ Property / cites work @@
+Alternating minima and maxima, Nash equilibria and bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Lower bounds to the size of constant-depth propositional proofs
+Normal rank
@@ Property / cites work @@
+The provably total NP search problems of weak second order bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Approximate counting by hashing in bounded arithmetic
+Normal rank
@@ Property / cites work @@
+On Independence of Variants of the Weak Pigeonhole Principle
+Normal rank
@@ Property / cites work @@
+The strength of sharply bounded induction
@@ Property / cites work: The strength of sharply bounded induction / rank @@
+Normal rank
@@ Property / cites work @@
+Dual weak pigeonhole principle, Boolean complexity, and derandomization
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+Lifting independence results in bounded arithmetic
+Normal rank
@@ Property / cites work @@
+The strength of sharply bounded induction requires MSP
+Normal rank
@@ Property / cites work @@
+Short proofs are narrow—resolution made simple
@@ Property / cites work: Short proofs are narrow—resolution made simple / rank @@
+Normal rank
@@ Property / cites work @@
+POLYNOMIAL LOCAL SEARCH IN THE POLYNOMIAL HIERARCHY AND WITNESSING IN FRAGMENTS OF BOUNDED ARITHMETIC
+Normal rank
@@ Property / cites work @@
+Provability of the pigeonhole principle and the existence of infinitely many primes
+Normal rank