Carlos Grandón, Alexandre Goldsztejn. Inner approximation of distance constraints with existential quantification of parameters. In Hisham Haddad, editor, Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. pages 1660-1661, ACM, 2006. [doi]
Abstract is missing.