A Comparison of Three Heuristics to Choose the Variable Ordering for Cylindrical Algebraic Decomposition. - Huang, Zongyan; England, Matthew; Wilson, David J.; Davenport, James H.; Paulson, Lawrence C. (ACM Commun. Comput. Algebra, 2014)