most citedApplying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition

33 citations · 33 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SC2014★ 33 cited

Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition

Zongyan Huang, Matthew England, David Wilson +3

Cylindrical algebraic decomposition(CAD) is a key tool in computational algebraic geometry, particularly for quantifier elimination over real-closed fields. When using CAD, there i…