Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic Decomposition. - Rohit John; James H. Davenport (ICMS, 2024)