Lower Bounds on Sums-of-Squares Proof-Size
Presenter
October 18, 2018
Keywords:
- computational complexity
- proof complexity
- resolution
Abstract
Abstract available at the link below.