TY  - RPRT
TI  - Cylindrical Algebraic Decompositions for Boolean Combinations
AU  - Russell Bradford
AU  - James H. Davenport
AU  - Matthew England
AU  - Scott McCallum
AU  - David Wilson
PY  - 2013
DO  - 10.1145/2465506.2465516
UR  - https://arxiv.org/abs/1304.7603
ID  - 1304.7603
ER  -