Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases

15 August 2016

Papers citing "Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases"

1 / 1 papers shown

Title
Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition Zongyan Huang Matthew England D. Wilson J. Davenport Lawrence Charles Paulson James P. Bridge 58 57 0 25 Apr 2014