TY  - RPRT
TI  - Applications of Quantified Constraint Solving over the Reals -- Bibliography
AU  - Stefan Ratschan
PY  - 2025
UR  - https://arxiv.org/abs/1205.5571
ID  - 1205.5571
ER  -