TY  - RPRT
TI  - Model-based construction of Open Non-uniform Cylindrical Algebraic Decompositions
AU  - Christopher W. Brown
PY  - 2014
UR  - https://arxiv.org/abs/1403.6487
ID  - 1403.6487
ER  -