Result: Using Machine Learning to Improve Cylindrical Algebraic Decomposition
Title:
Using Machine Learning to Improve Cylindrical Algebraic Decomposition
Authors:
Huang, Zongyan, England, MatthewAff2, IDs11786019003948_cor2, Wilson, David J., Bridge, James, Davenport, James H., Paulson, Lawrence C.
Source:
Mathematics in Computer Science. 13(4):461-488
Database:
Springer Nature Journals