Araújo, R., 		Bessa, I., 		Cordeiro, L., & 		Chaves Filho, J.
2016 nov  1.  SMT-based Verification Applied to Non-convex Optimization Problems. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :