TY  - RPRT
TI  - Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
AU  - Lynn Pickering
AU  - Tereso Del Rio Almajano
AU  - Matthew England
AU  - Kelly Cohen
PY  - 2023
DO  - 10.1016/j.jsc.2023.102276
UR  - https://arxiv.org/abs/2304.12154
ID  - 2304.12154
ER  -