RODRIGUES, Arthur H. D.; 						GOLDMAN, Alfredo.
 Verifying the minimal cubic graph without Gallai vertice in parallel with code generated by LLM: An initial study. <em>In</em>: ESCOLA REGIONAL DE ALTO DESEMPENHO DE SÃO PAULO (ERAD-SP), 17.	, 2026, São Paulo/SP.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2026
.
 p. 49-52. 
		DOI: <a href="https://doi.org/10.5753/eradsp.2026.31019">https://doi.org/10.5753/eradsp.2026.31019</a>.