Melhoramentos para o Algoritmo de Transformação Dual
| Title: | Melhoramentos para o Algoritmo de Transformação Dual |
| Author: | Flores, Murillo Lagranha |
| Abstract: | Propor melhorias ao Algoritmo de Transformação Dual, que é um algoritmo completo para a resolução do problema da satisfazibilidade booleana. |
| Description: | TCC (graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Curso de Sistemas de Informação. |
| URI: | https://repositorio.ufsc.br/handle/123456789/184614 |
| Date: | 2012 |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| monografia.pdf.1 | 657.7Kb | Unknown |
View/ |
This item appears in the following Collection(s)
-
TCC Sistemas de Informação [812]
Sistemas de Informação
