F. Jia, “A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic”, AAAI, vol. 39, no. 11, pp. 11255-11263, Apr. 2025.