R. Araújo, I. Bessa, L. Cordeiro, and J. Chaves Filho.
" SMT-based Verification Applied to Non-convex Optimization Problems", in <em>Anais do VI Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, João Pessoa/PB, 2016, pp. 1-8.