Revisiting Variable Ordering for Real Quantifier Elimination using Machine Learning

Re-assign community