Sales de Souza, R.; Gonzaga dos Santos, T.; Martins da Silva, D.; Dias dos Santos, T. MAX-2SAT: Contribuições Pedagógicas Para O Aprendizado No Escopo Da Teoria Da Computação. Academic Journal on Computing, Engineering and Applied Mathematics 2026, 7, 1-12.