Rodrigues, A., & 		Goldman, A.
2026 set  2.  Verifying the minimal cubic graph without Gallai vertice in parallel with code generated by LLM: An initial study. Anais da Escola Regional de Alto Desempenho de São Paulo (ERAD-SP). [Online] :