TY  - RPRT
TI  - Improving Automated Strategies for Univariate Quantifier Elimination
AU  - Katherine Cordwell
AU  - Cesar A Munoz
AU  - Aaron M Dutle
PY  - 2021
UR  - https://ntrs.nasa.gov/citations/20205010644
ID  - 20205010644
ER  -