TY  - RPRT
TI  - Fast Approximations of Quantifier Elimination
AU  - Isabel Garcia-Contreras
AU  - Hari Govind V K
AU  - Sharon Shoham
AU  - Arie Gurfinkel
PY  - 2023
UR  - https://arxiv.org/abs/2306.10009
ID  - 2306.10009
ER  -