基于机器学习的柱形代数分解变元择序

朱章鹏，陈长波

Variable Ordering Selection for Cylindrical Algebraic Decomposition Based on Machine Learning

ZHU Zhangpeng, CHEN Changbo

系统科学与数学 . 2020, (8): 1492 -1506 . DOI: 10.12341/jssms13937