Size-Degree Trade-Offs for Sums-of-Squares and Positivstellensatz Proofs.

Albert Atserias Tuomas Hakoniemi

Published in: CoRR (2018)

Keyphrases

trade off
theorem prover
neural network
expert systems
standard deviation
small size
formal proofs
databases
feature selection
multi agent systems
mobile robot
memory requirements
theorem proving
scales linearly