R. Sales de Souza, T. Gonzaga dos Santos, D. Martins da Silva, e T. Dias dos Santos, “MAX-2SAT: Contribuições Pedagógicas para o Aprendizado no Escopo da Teoria da Computação”, Academic Journal on Computing, Engineering and Applied Mathematics, v. 7, n. 2, p. 1–12, fev. 2026.