Applying Machine Learning to Heuristics for Real Polynomial Constraint Solving. - Christopher W. Brown 001; Glenn Christopher Daves (ICMS, 2020)