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

Zongyan Huang, Matthew England, David Wilson, James H. Davenport, Lawrence C. Paulson
2015 ACM Communications in Computer Algebra  
Cylindrical algebraic decomposition (CAD) is a key tool for problems in real algebraic geometry and beyond. When using CAD there is often a choice over the variable ordering to use, with some problems infeasible in one ordering but simple in another. Here we discuss a recent experiment comparing three heuristics for making this choice on thousands of examples.
doi:10.1145/2733693.2733706 fatcat:d2yjaqicurc3tblccnhrwuuzr4