Jia, Fuqi, Yuhang Dong, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, and Jian Zhang. 2025. “A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic”. Proceedings of the AAAI Conference on Artificial Intelligence 39 (11):11255-63. https://doi.org/10.1609/aaai.v39i11.33224.