Laboratory of Parallel Software and Computational Science, Institute of Software, Chinese Academy of Sciences, Beijing, China; University of Chinese Academy of Sciences, Beijing, China; State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China; Stanford University, Stanford, USA
Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang
Reinforcement Learning;Graph Neural Network;Cylindrical Algebraic Decomposition.
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning