Proof Complexity Meets Algebra (Q4617977): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2905780568
@@ Property / OpenAlex ID: W2905780568 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07320
@@ Property / arXiv ID: 1711.07320 / rank @@
+Normal rank
@@ Property / cites work @@
+Space Complexity in Propositional Calculus
@@ Property / cites work: Space Complexity in Propositional Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681889
@@ Property / cites work: Q4681889 / rank @@
+Normal rank
@@ Property / cites work @@
+Affine systems of equations and counting infinitary logic
+Normal rank
@@ Property / cites work @@
+A combinatorial characterization of resolution width
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Narrow Proofs May Be Maximally Long
@@ Property / cites work: Narrow Proofs May Be Maximally Long / rank @@
+Normal rank
@@ Property / cites work @@
+Proof complexity meets algebra
@@ Property / cites work: Proof complexity meets algebra / rank @@
+Normal rank
@@ Property / cites work @@
+THE CONSTRAINT SATISFACTION PROBLEM AND UNIVERSAL ALGEBRA
+Normal rank
@@ Property / cites work @@
+Constraint Satisfaction Problems Solvable by Local Consistency Methods
+Normal rank
@@ Property / cites work @@
+Q4993594
@@ Property / cites work: Q4993594 / rank @@
+Normal rank
@@ Property / cites work @@
+The wonderland of reflections
@@ Property / cites work: The wonderland of reflections / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds on Hilbert's Nullstellensatz and Propositional Proofs
+Normal rank
@@ Property / cites work @@
+Hard examples for bounded depth frege
@@ Property / cites work: Hard examples for bounded depth frege / rank @@
+Normal rank
@@ Property / cites work @@
+Q3304105
@@ Property / cites work: Q3304105 / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying the Complexity of Constraints Using Finite Algebras
+Normal rank
@@ Property / cites work @@
+Linear gaps between degrees for the polynomial calculus modulo distinct primes
+Normal rank
@@ Property / cites work @@
+Approximation Resistance from Pairwise-Independent Subgroups
+Normal rank
@@ Property / cites work @@
+Q4228469
@@ Property / cites work: Q4228469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144655
@@ Property / cites work: Q5144655 / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
+Normal rank
@@ Property / cites work @@
+Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming
+Normal rank
@@ Property / cites work @@
+Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity
+Normal rank
@@ Property / cites work @@
+Algebraic proof systems over formulas.
@@ Property / cites work: Algebraic proof systems over formulas. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4807964
@@ Property / cites work: Q4807964 / rank @@
+Normal rank
@@ Property / cites work @@
+Expander graphs and their applications
@@ Property / cites work: Expander graphs and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Tractability and Learnability Arising from Algebras with Few Subpowers
+Normal rank
@@ Property / cites work @@
+Lower bounds for the polynomial calculus and the Gröbner basis algorithm
+Normal rank
@@ Property / cites work @@
+Optimal Inapproximability Results for MAX‐CUT and Other 2‐Variable CSPs?
+Normal rank
@@ Property / cites work @@
+On the weak pigeonhole principle
@@ Property / cites work: On the weak pigeonhole principle / rank @@
+Normal rank
@@ Property / cites work @@
+An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle
+Normal rank
@@ Property / cites work @@
+A Comparison of the Sherali-Adams, Lovász-Schrijver, and Lasserre Relaxations for 0–1 Programming
+Normal rank
@@ Property / cites work @@
+Q5111132
@@ Property / cites work: Q5111132 / rank @@
+Normal rank
@@ Property / cites work @@
+Cones of Matrices and Set-Functions and 0–1 Optimization
+Normal rank
@@ Property / cites work @@
+Q4353563
@@ Property / cites work: Q4353563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934563
@@ Property / cites work: Q4934563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152212
@@ Property / cites work: Q4152212 / rank @@
+Normal rank
@@ Property / cites work @@
+A Hierarchy of Relaxations between the Continuous and Convex Hull Representations for Zero-One Programming Problems
+Normal rank
@@ Property / cites work @@
+Q5144633
@@ Property / cites work: Q5144633 / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of Sherali--Adams Relaxations for General-Valued CSPs
+Normal rank
@@ Property / cites work @@
+CSP gaps and reductions in the lasserre hierarchy
@@ Property / cites work: CSP gaps and reductions in the lasserre hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof of the CSP Dichotomy Conjecture
@@ Property / cites work: A Proof of the CSP Dichotomy Conjecture / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4617977