@misc{indiciae9865c7121daa, title = {New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis}, author = {Tereso del Río and Matthew England}, year = {2022}, doi = {10.1007/978-3-031-14788-3\_17}, url = {https://arxiv.org/abs/2206.13480}, note = {Source identifier: 2206.13480} }