The Relation between Polynomial Calculus, Sherali-Adams, and Sum-of-Squares Proofs.

Christoph Berkholz

Published in: STACS (2018)

Keyphrases

natural deduction
cut elimination
sequent calculus
computer algebra
proof search
theorem proving
automated theorem proving
automated theorem provers
low order
theorem prover
relation algebra
linear logic
mixed integer
message passing
data model
formal proof
equational theories
data sets