A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic.

Fuqi Jia, Yuhang Dong, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang

Browse the full AAAI paper archive.