Sales de Souza, R. et al. 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 (fev. 2026), 1–12. DOI:https://doi.org/10.20873/uft.2675-3588.2026.v7n2.p1-12.