Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning

Open in new window