TY  - RPRT
TI  - Sum of squares bounds for the ordering principle
AU  - Aaron Potechin
PY  - 2020
UR  - https://arxiv.org/abs/1812.01163
ID  - 1812.01163
ER  -