Rodrigo Araújo, Iury Bessa, Lucas Cordeiro, and João Chaves Filho. 2016.
 SMT-based Verification Applied to Non-convex Optimization Problems. In <em>Anais do VI Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, novembro 01, 2016, João Pessoa/PB, Brasil. SBC, Porto Alegre, Brasil, 1-8.