The power of negative reasoning

DOI10.4230/LIPICS.CCC.2021.40MaRDI QIDQ6115403zbMATH OpenOpenAlexFDO

Authors

Publication date 12 July 2023

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

zbMATH Keywords

proof complexitypolynomial calculussums-of-squaresnullstellensatzSherali-Adams

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Cited in

(4)

• On vanishing sums of roots of unity in polynomial calculus and sum-of-squares
• scientific article; zbMATH DE number 967397 (Why is no real title available?)
• On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems
• Polynomial calculus for optimization

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6115403)