On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey Tautologies (Q5278196): Difference between revisions

@@ Property / cites work @@
+A note on Ramsey numbers
@@ Property / cites work: A note on Ramsey numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Separation results for the size of constant-depth propositional proofs
+Normal rank
@@ Property / cites work @@
+Approximation and Small-Depth Frege Proofs
@@ Property / cites work: Approximation and Small-Depth Frege Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Cutting plane and Frege proofs
@@ Property / cites work: Cutting plane and Frege proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Concentration of Measure for the Analysis of Randomized Algorithms
+Normal rank
@@ Property / cites work @@
+Graph Theory and Probability. II
@@ Property / cites work: Graph Theory and Probability. II / rank @@
+Normal rank
@@ Property / cites work @@
+Some bounds for the Ramsey-Paris-Harrington numbers
+Normal rank
@@ Property / cites work @@
+Some graph theoretic results associated with Ramsey's theorem
+Normal rank
@@ Property / cites work @@
+Rapidly growing Ramsey functions
@@ Property / cites work: Rapidly growing Ramsey functions / rank @@
+Normal rank
@@ Property / cites work @@
+The Ramsey number <i>R</i>(3, <i>t</i>) has order of magnitude <i>t</i><sup>2</sup>/log <i>t</i>
+Normal rank
@@ Property / cites work @@
+Lower bounds to the size of constant-depth propositional proofs
+Normal rank
@@ Property / cites work @@
+On the weak pigeonhole principle
@@ Property / cites work: On the weak pigeonhole principle / rank @@
+Normal rank
@@ Property / cites work @@
+A note on propositional proof complexity of some Ramsey-type statements
+Normal rank
@@ Property / cites work @@
+A new proof of the weak pigeonhole principle
@@ Property / cites work: A new proof of the weak pigeonhole principle / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey-Paris-Harrington numbers for graphs
@@ Property / cites work: Ramsey-Paris-Harrington numbers for graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Provability of the pigeonhole principle and the existence of infinitely many primes
+Normal rank
@@ Property / cites work @@
+Q4737899
@@ Property / cites work: Q4737899 / rank @@
+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 @@
+Asymptotic lower bounds for Ramsey functions
@@ Property / cites work: Asymptotic lower bounds for Ramsey functions / rank @@
+Normal rank