Skip to Main content Skip to Navigation
Conference papers

Inner and Outer Approximations of Existentially Quantified Equality Constraints

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00481288
Contributor : Alexandre Goldsztejn <>
Submitted on : Thursday, May 6, 2010 - 1:18:06 PM
Last modification on : Monday, April 19, 2021 - 5:54:02 PM

Links full text

Identifiers

Citation

Alexandre Goldsztejn, Luc Jaulin. Inner and Outer Approximations of Existentially Quantified Equality Constraints. Twelfth International Conference on Principles and Practice of Constraint Programming, Sep 2006, France. pp.198-212, ⟨10.1007/11889205_16⟩. ⟨hal-00481288⟩

Share

Metrics

Record views

242