Melhoramentos para o Algoritmo de Transformação Dual
Show full item record
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
This item appears in the following Collection(s)
Show full item record
Search DSpace
Browse
-
All of DSpace
-
This Collection
My Account
Statistics
Compartilhar