TY  - RPRT
TI  - Monomial-size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus
AU  - Tuomas Hakoniemi
PY  - 2021
UR  - https://arxiv.org/abs/2105.07525
ID  - 2105.07525
ER  -