Sales de Souza, R. (2026) “MAX-2SAT: Contribuições Pedagógicas para o Aprendizado no Escopo da Teoria da Computação”, Academic Journal on Computing, Engineering and Applied Mathematics, 7(2), p. 1–12. doi: 10.20873/uft.2675-3588.2026.v7n2.p1-12.