MONTAÑO, Razer; 						CASTILHO, Marcos; 						SILVA, Fabiano; 						KÜNZLE, Luis.
 Using Petri Nets and ISCAS Solvers to Treat Planning as Satisfiability. <em>In</em>: NATIONAL MEETING ON ARTIFICIAL AND COMPUTATIONAL INTELLIGENCE (ENIAC), 8.	, 2011, Natal/RN.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2011
.
 p. 809-820. 
			ISSN 2763-9061.