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