The power of negative reasoning

DOI10.4230/lipics.ccc.2021.40OpenAlexW3184009482MaRDI QIDQ6115403

No author found.

Publication date: 12 July 2023

Full work available at URL: https://doi.org/10.4230/lipics.ccc.2021.40

zbMATH Keywords

polynomial calculusproof complexitysums-of-squaresnullstellensatzSherali-Adams

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Related Items (1)

On vanishing sums of roots of unity in polynomial calculus and sum-of-squares

This page was built for publication: The power of negative reasoning