A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic (Proceedings of the ... AAAI Conference on Artificial Intelligence)