@misc{indiciae77b3b1e80b47,
  title = {Cylindrical Algebraic Decompositions for Boolean Combinations},
  author = {Russell Bradford and James H. Davenport and Matthew England and Scott McCallum and David Wilson},
  year = {2013},
  doi = {10.1145/2465506.2465516},
  url = {https://arxiv.org/abs/1304.7603},
  note = {Source identifier: 1304.7603}
}