@inproceedings{goldsztejn:hal-00481288, TITLE = {{Inner and Outer Approximations of Existentially Quantified Equality Constraints}}, AUTHOR = {Goldsztejn, Alexandre and Jaulin, Luc}, URL = {https://hal.science/hal-00481288}, BOOKTITLE = {{Twelfth International Conference on Principles and Practice of Constraint Programming}}, ADDRESS = {France}, SERIES = {LNCS}, VOLUME = {4204/2006}, PAGES = {198-212}, YEAR = {2006}, MONTH = Sep, DOI = {10.1007/11889205\_16}, HAL_ID = {hal-00481288}, HAL_VERSION = {v1}, }