TY - RPRT TI - A Constraint Propagation Algorithm for Sums-of-Squares Formulas over the Integers AU - Melissa Lynn PY - 2018 UR - https://arxiv.org/abs/1810.05163 ID - 1810.05163 ER -