Inner and Outer Approximations of Existentially Quantified Equality Constraints

Alexandre Goldsztejn, Luc Jaulin. Inner and Outer Approximations of Existentially Quantified Equality Constraints. In Frédéric Benhamou, editor, Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings. Volume 4204 of Lecture Notes in Computer Science, pages 198-212, Springer, 2006. [doi]

@inproceedings{GoldsztejnJ06,
  title = {Inner and Outer Approximations of Existentially Quantified Equality Constraints},
  author = {Alexandre Goldsztejn and Luc Jaulin},
  year = {2006},
  doi = {10.1007/11889205_16},
  url = {http://dx.doi.org/10.1007/11889205_16},
  tags = {constraints},
  researchr = {https://researchr.org/publication/GoldsztejnJ06},
  cites = {0},
  citedby = {0},
  pages = {198-212},
  booktitle = {Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings},
  editor = {Frédéric Benhamou},
  volume = {4204},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-46267-8},
}