Inner approximation of distance constraints with existential quantification of parameters - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Carlos Grandón, Alexandre Goldsztejn. Inner approximation of distance constraints with existential quantification of parameters. In Hisham Haddad, editor, Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. pages 1660-1661, ACM, 2006. [doi]

The following publications are possibly variants of this publication:

Inner and Outer Approximations of Existentially Quantified Equality ConstraintsAlexandre Goldsztejn, Luc Jaulin. cp 2006: 198-212 [doi]

Efficient handling of universally quantified inequalitiesAlexandre Goldsztejn, Claude Michel, Michel Rueher. constraints, 14(1):117-135, 2009. [doi]

runs on WebDSL