TY  - RPRT
TI  - Truth Table Invariant Cylindrical Algebraic Decomposition
AU  - Russell Bradford
AU  - James H. Davenport
AU  - Matthew England
AU  - Scott McCallum
AU  - David Wilson
PY  - 2015
DO  - 10.1016/j.jsc.2015.11.002
UR  - https://arxiv.org/abs/1401.0645
ID  - 1401.0645
ER  -