Sciweavers

2 search results - page 1 / 1
» Inner approximation of distance constraints with existential...
Sort
View
CP
2006
Springer
13 years 8 months ago
Inner and Outer Approximations of Existentially Quantified Equality Constraints
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 param...
Alexandre Goldsztejn, Luc Jaulin