Henry Cohn. Solving equations with size constraints for the solutions. In Michael B. Monagan, Gene Cooperman, Mark Giesbrecht, editors, International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013. pages 1-2, ACM, 2013. [doi]
Abstract is missing.