Changbo Chen, Zhangpeng Zhu, Haoyu Chi. Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks. In Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff, editors, Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings. Volume 12097 of Lecture Notes in Computer Science, pages 281-291, Springer, 2020. [doi]
Abstract is missing.