TY  - RPRT
TI  - Improving the use of equational constraints in cylindrical algebraic decomposition
AU  - Matthew England
AU  - Russell Bradford
AU  - James H. Davenport
PY  - 2015
DO  - 10.1145/2755996.2756678
UR  - https://arxiv.org/abs/1501.04466
ID  - 1501.04466
ER  -