Araújo, R., 		Bessa, I., 		Cordeiro, L., & 		Chaves Filho, J.
(2016).
 SMT-based Verification Applied to Non-convex Optimization Problems.
In <em>Anais do VI Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 1-8). Porto Alegre: SBC.