Araújo, Rodrigo, 		Bessa, Iury, 		Cordeiro, Lucas, E 		Chaves Filho, João.
" SMT-based Verification Applied to Non-convex Optimization Problems" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (1 novembro 2016)