Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition

Saved in:

Bibliographic Details
Published in:	Journal of symbolic computation Vol. 123; p. 102276
Main Authors:	Pickering, Lynn, del Río Almajano, Tereso, England, Matthew, Cohen, Kelly
Format:	Journal Article
Language:	English
Published:	01.07.2024
ISSN:	0747-7171
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
ISSN:	0747-7171
DOI:	10.1016/j.jsc.2023.102276