2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) SYNASC Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2016 18th International Symposium on. :45-52 Sep, 2016
Huang, Z, England, M, Wilson, D, Davenport, J H & Paulson, L C 2015, A comparison of three heuristics to choose the variable ordering for CAD . in E Zima, M Caboara, J-G Dumas, L Gonzalez-Vega, M Wester & L Zhi (eds), ACM Communications in Computer Algebra . 3-4 edn, vol. 48, Association for Computing Machinery, New York, U. S. A., pp. 121-123 . https://doi.org/10.1145/2733693.2733706