The power of negative reasoning

DOI10.4230/LIPICS.CCC.2021.40OpenAlexW3184009482MaRDI QIDQ6115403FDOQ6115403

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
• Title not available (Why is that?)
• 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)