中国科学院数学与系统科学研究院期刊网
Variable Ordering Selection for Cylindrical Algebraic Decomposition via Reinforcement Learning
JING Ruijuan, QIAN Chengrong, CHEN Changbo
Journal of System Science and Mathematical Science Chinese Series . 2024, (9): 2826 -2849 .  DOI: 10.12341/jssms22799