Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks. - Changbo Chen; Zhangpeng Zhu; Haoyu Chi (ICMS, 2020)