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

@inproceedings{Huang2014ApplyingML,
  title={Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition},
  author={Zongyan Huang and Matthew England and David J. Wilson and James H. Davenport and Lawrence C. Paulson and James P. Bridge},
  booktitle={CICM},
  year={2014}
}
Cylindrical algebraic decomposition(CAD) is a key tool in computational algebraic geometry, particularly for quantifier elimination over real-closed fields. When using CAD, there is often a choice for the ordering placed on the variables. This can be important, with some problems infeasible with one variable ordering but easy with another. Machine learning… CONTINUE READING

4 Figures & Tables

Topics

Statistics

0102030201620172018
Citations per Year

Citation Velocity: 11

Averaging 11 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.