Rodrigues, A., & 		Goldman, A.
(2026).
 Verifying the minimal cubic graph without Gallai vertice in parallel with code generated by LLM: An initial study.
In <em>Anais da XVII Escola Regional de Alto Desempenho de São Paulo</em>, (pp. 49-52). Porto Alegre: SBC.
doi:10.5753/eradsp.2026.31019