New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis.

Tereso del Ro, Matthew England

Browse the full CASC paper archive.