TY - RPRT TI - Refining Multivariate Value Set Bounds AU - Luke Smith PY - 2015 UR - https://arxiv.org/abs/1507.04085 ID - 1507.04085 ER -