Rodrigo Araujo, Iury Bessa, Lucas Carvalho Cordeiro, Joao Edgar Chaves Filho. SMT-based Verification Applied to Non-convex Optimization Problems. In VI Brazilian Symposium on Computing Systems Engineering, SBESC 2026, João Pessoa, Paraíba, Brazil, November 1-4, 2016. pages 1-8, IEEE, 2016. [doi]
Abstract is missing.