TY  - RPRT
TI  - Divide-And-Conquer Computation of Cylindrical Algebraic Decomposition
AU  - Adam Strzebonski
PY  - 2014
UR  - https://arxiv.org/abs/1402.0622
ID  - 1402.0622
ER  -