scholarly journals Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition

2014 ◽  
pp. 92-107 ◽  
Author(s):  
Zongyan Huang ◽  
Matthew England ◽  
David Wilson ◽  
James H. Davenport ◽  
Lawrence C. Paulson ◽  
...  
Keyword(s):  
Machine Learning ◽  
Cylindrical Algebraic Decomposition ◽  
Variable Ordering

scholarly journals Using Machine Learning to Improve Cylindrical Algebraic Decomposition

2019 ◽  
Vol 13 (4) ◽  
pp. 461-488 ◽  
Author(s):  
Zongyan Huang ◽  
Matthew England ◽  
David J. Wilson ◽  
James Bridge ◽  
James H. Davenport ◽  
...  
Keyword(s):  
Machine Learning ◽  
Cylindrical Algebraic Decomposition

scholarly journals A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition

2015 ◽  
Vol 48 (3/4) ◽  
pp. 121-123
Author(s):  
Zongyan Huang ◽  
Matthew England ◽  
David Wilson ◽  
James H. Davenport ◽  
Lawrence C. Paulson
Keyword(s):  
Cylindrical Algebraic Decomposition ◽  
Variable Ordering
Sign in / Sign up

Export Citation Format

Share Document