TCC (graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Curso de Sistemas de Informação.Propor melhorias ao Algoritmo de Transformação Dual, que é um algoritmo completo para a resolução do problema da satisfazibilidade booleana.