Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning

Item #:

075280-3325

Details

DOI: https://doi.org/10.52202/075280-3325
Author(s): Yuhang Dong, Pei Huang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang
Pages: 76098-76119 (22 pages)
Format: PDF Paper Download
Conference: Advances in Neural Information Processing Systems 36
Date/Location: Held 10-16 December 2023, New Orleans, Louisiana, USA.
Series: Advances in Neural Information Processing Systems 36
Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)

DOI: https://doi.org/10.52202/075280-3325
Author(s): Yuhang Dong, Pei Huang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang
Pages: 76098-76119 (22 pages)
Format: PDF Paper Download
Conference: Advances in Neural Information Processing Systems 36
Date/Location: Held 10-16 December 2023, New Orleans, Louisiana, USA.
Series: Advances in Neural Information Processing Systems 36
Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)