[TCC2] Felipe Borges - PluSAT:Um resolvedor SAT modular

Defesa de TCC2 do Alunos Felipe Borges em 5 de maio de 2022.

O PDF do documento final pode ser visualizado em: https://www.brunoribas.com.br/tcc/TCC2_Felipe_Borges.pdf

Repositório do Trabalho: https://github.com/UnB-SAT/PluSAT/ ... https://www.youtube.com/watch?v=BODDypVdQlg