TY  - RPRT
TI  - Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
AU  - Matthew England
AU  - Dorian Florescu
PY  - 2019
DO  - 10.1007/978-3-030-23250-4_7
UR  - https://arxiv.org/abs/1904.11061
ID  - 1904.11061
ER  -