HIGHLIGHTS
- who: Theorems and collaborators from the Universitat Politu00e8cnica de Catalunya, Barcelona, Spain have published the Article: Proof Complexity Meets Algebra, in the Journal: (JOURNAL)
- what: The authors show that for the most studied propositional and semi-algebraic systems the classical constructions of pp-interpretability homomorphic equivalence and addition of constants to a core preserve the of the CSP. This class is also known to coincide with the class of languages with Sums-of-Squares refutations of sublinear degree a fact for which the authors provide an alternative The aim of this section is to prove . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.