ARAÚJO, Rodrigo; 						BESSA, Iury; 						CORDEIRO, Lucas Carvalho; 						CHAVES FILHO, João Edgar.
 SMT-based Verification Applied to Non-convex Optimization Problems. <em>In</em>: BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), 6.	, 2016, João Pessoa/PB.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2016
.
 p. 1-8. 
			ISSN 2237-5430.