TY  - RPRT
TI  - Optimising Problem Formulation for Cylindrical Algebraic Decomposition
AU  - Russell Bradford
AU  - James H. Davenport
AU  - Matthew England
AU  - David Wilson
PY  - 2013
DO  - 10.1007/978-3-642-39320-4_2
UR  - https://arxiv.org/abs/1304.7222
ID  - 1304.7222
ER  -