TY  - RPRT
TI  - Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning
AU  - John Hester
AU  - Briland Hitaj
AU  - Grant Passmore
AU  - Sam Owre
AU  - Natarajan Shankar
AU  - Eric Yeh
PY  - 2023
UR  - https://arxiv.org/abs/2302.14038
ID  - 2302.14038
ER  -