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

nullstellensatzpolynomial calculusproof complexitySherali-Adamssums-of-squares

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Cited in

(7)

• scientific article; zbMATH DE number 967397 (Why is no real title available?)
• On vanishing sums of roots of unity in polynomial calculus and sum-of-squares
• On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems
• Polynomial calculus for optimization
• Towards an understanding of polynomial calculus: new separations and lower bounds
• Proving unsatisfiability with hitting formulas
• Strength and limitations of Sherali-Adams and nullstellensatz proof systems

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)