%0 Conference Proceedings %T Inner and Outer Approximations of Existentially Quantified Equality Constraints %+ Laboratoire d'Informatique de Nantes Atlantique (LINA) %+ Développement des Technologies Nouvelles (DTN) %A Goldsztejn, Alexandre %A Jaulin, Luc %< avec comité de lecture %( Principles and Practice of Constraint Programming - CP 2006 %B Twelfth International Conference on Principles and Practice of Constraint Programming %C France %3 LNCS %V 4204/2006 %P 198-212 %8 2006-09-24 %D 2006 %R 10.1007/11889205_16 %Z Computer Science [cs]/Numerical Analysis [cs.NA]Conference papers %G English %L hal-00481288 %U https://hal.science/hal-00481288 %~ UNIV-NANTES %~ ENSTA-BRETAGNE %~ CNRS %~ LINA %~ ENSTA-BRETAGNE-STIC %~ LINA-MEO %~ ENSIETA-DTN %~ NANTES-UNIVERSITE %~ UNIV-NANTES-AV2022