Zongyan Huang, Matthew England, David J. Wilson, James P. Bridge, James H. Davenport, Lawrence C. Paulson. Using Machine Learning to Improve Cylindrical Algebraic Decomposition. Mathematics in Computer Science, 13(4):461-488, 2019. [doi]
Abstract is missing.