On the complexity of Hilbert refutations for partition (Q2252121): Difference between revisions

@@ Property / OpenAlex ID @@
+W2147951657
@@ Property / OpenAlex ID: W2147951657 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3346
@@ Property / arXiv ID: 1208.3346 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial Nullstellensatz
@@ Property / cites work: Combinatorial Nullstellensatz / rank @@
+Normal rank
@@ Property / cites work @@
+Colorings and orientations of graphs
@@ Property / cites work: Colorings and orientations of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds on Hilbert's Nullstellensatz and Propositional Proofs
+Normal rank
@@ Property / cites work @@
+Q4228469
@@ Property / cites work: Q4228469 / rank @@
+Normal rank
@@ Property / cites work @@
+The origin of representation theory
@@ Property / cites work: The origin of representation theory / rank @@
+Normal rank
@@ Property / cites work @@
+Expressing Combinatorial Problems by Systems of Polynomial Equations and Hilbert's Nullstellensatz
+Normal rank
@@ Property / cites work @@
+Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Positivstellensatz proofs for the knapsack
+Normal rank
@@ Property / cites work @@
+Q4807964
@@ Property / cites work: Q4807964 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5614003
@@ Property / cites work: Q5614003 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for the polynomial calculus and the Gröbner basis algorithm
+Normal rank
@@ Property / cites work @@
+Stable sets and polynomials
@@ Property / cites work: Stable sets and polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Nowhere-zero flow polynomials
@@ Property / cites work: Nowhere-zero flow polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for the polynomial calculus
@@ Property / cites work: Lower bounds for the polynomial calculus / rank @@
+Normal rank