Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
Lynn Pickering, Tereso Del Rio Almajano, M. England, Kelly Cohen
Journal of symbolic computation