Login / Signup
The Relation between Polynomial Calculus, Sherali-Adams, and Sum-of-Squares Proofs.
Christoph Berkholz
Published in:
Electron. Colloquium Comput. Complex. (2017)
Keyphrases
</>
natural deduction
sequent calculus
automated theorem proving
proof search
cut elimination
mixed integer
formal proofs
inference rules
theorem prover
theorem proving
database systems
formal proof
mathematical proofs