Inner and Outer Approximations of Existentially Quantified Equality Constraints

@inproceedings{Goldsztejn2006InnerAO,
  title={Inner and Outer Approximations of Existentially Quantified Equality Constraints},
  author={Alexandre Goldsztejn and Luc Jaulin},
  booktitle={CP},
  year={2006}
}
We propose a branch and prune algorithm that is able to compute inner and outer approximations of the solution set of an existentially quantified constraint where existential parameters are shared between several equations. While other techniques that handle such constraints need some preliminary formal simplification of the problem or only work on simpler special cases, our algorithm is the first pure numerical algorithm that can approximate the solution set of such constraints in the general… CONTINUE READING