Published July 1, 2008
| Version v1
Book section
Quantifier Elimination versus Generalized Interval Evaluation: a Comparison on a Specific Class of Quantified Constraint
Creators
Contributors
Others:
- Constraints solving, optimization and robust interval analysis (COPRIN) ; Centre Inria d'Université Côte d'Azur (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École nationale des ponts et chaussées (ENPC)
- Laboratoire d'Informatique de Nantes Atlantique (LINA) ; Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST) ; Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)
Additional details
Identifiers
- URL
- https://hal.science/hal-00431188
- URN
- urn:oai:HAL:hal-00431188v1
Origin repository
- Origin repository
- UNICA