SMT-based Verification Applied to Non-convex Optimization Problems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Rodrigo Araujo' in GoogleThis author has not been identified. Look up 'Iury Bessa' in GoogleThis author has not been identified. Look up 'Lucas Carvalho Cordeiro' in GoogleThis author has not been identified. Look up 'Joao Edgar Chaves Filho' in Google

runs on WebDSL