@misc{indiciaec983e4c4b593,
  title = {Experience with Heuristics, Benchmarks \& Standards for Cylindrical Algebraic Decomposition},
  author = {Matthew England and James H. Davenport},
  year = {2016},
  url = {https://arxiv.org/abs/1609.09269},
  note = {Source identifier: 1609.09269}
}