@misc{indiciaeb85d82e88785,
  title = {Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition},
  author = {Lynn Pickering and Tereso Del Rio Almajano and Matthew England and Kelly Cohen},
  year = {2023},
  doi = {10.1016/j.jsc.2023.102276},
  url = {https://arxiv.org/abs/2304.12154},
  note = {Source identifier: 2304.12154}
}