Login / Signup
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning.
Fuqi Jia
Yuhang Dong
Minghao Liu
Pei Huang
Feifei Ma
Jian Zhang
Published in:
NeurIPS (2023)
Keyphrases
</>
optimal control
reinforcement learning
real time
database
machine learning
search engine
search algorithm
state space