@misc{indiciaeccdd09f6ce45,
  title = {The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition},
  author = {R. Bradford and J. H. Davenport and M. England and A. Sadeghimanesh and A. Uncu},
  year = {2021},
  doi = {10.1145/3511528.3511538},
  url = {https://arxiv.org/abs/2106.08740},
  note = {Source identifier: 2106.08740}
}