董宇航博士研究生组内经历2022–至今博士研究生论文搜索论文发表载体全部AAAI CCF ANeurIPS CCF A2 篇论文清除全部筛选未找到论文清除全部筛选2025A Complete Algorithm for Optimization Modulo Nonlinear Real ArithmeticAAAI 2025CCF A·Fuqi Jia, Yuhang Dong, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang引用PDF代码2023Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement LearningNeurIPS 2023CCF A·Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang引用CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。
