TY  - RPRT
TI  - A Preprocessor Based on Clause Normal Forms and Virtual Substitutions to Parallelize Cylindrical Algebraic Decomposition
AU  - Hari Krishna Malladi
AU  - Ambedkar Dukkipati
PY  - 2013
UR  - https://arxiv.org/abs/1112.5352
ID  - 1112.5352
ER  -