Carlos Grandón, Alexandre Goldsztejn
Inner approximation of distance constraints with existential quantification of parameters
SAC, 2006.
@inproceedings{SAC-2006-GrandonG,
author = "Carlos Grandón and Alexandre Goldsztejn",
booktitle = "{Proceedings of the 21st Symposium on Applied Computing}",
doi = "10.1145/1141277.1141668",
editor = "Hisham Haddad",
isbn = "1-59593-108-2",
pages = "1660--1661",
publisher = "{ACM}",
title = "{Inner approximation of distance constraints with existential quantification of parameters}",
year = 2006,
}