A. Rodrigues and A. Goldman.
" 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>, São Paulo/SP, 2026, pp. 49-52, doi: <a href="https://doi.org/10.5753/eradsp.2026.31019">https://doi.org/10.5753/eradsp.2026.31019</a>.