基于强化学习的柱形代数分解变元择序

荆瑞娟, 钱铖镕, 陈长波

Variable Ordering Selection for Cylindrical Algebraic Decomposition via Reinforcement Learning

JING Ruijuan, QIAN Chengrong, CHEN Changbo

系统科学与数学 . 2024, (9): 2826 -2849 . DOI: 10.12341/jssms22799