Melhoramentos para o Algoritmo de Transformação Dual

DSpace Repository

dc.contributor.advisor	Marchi, Jerusa
dc.contributor.author	Flores, Murillo Lagranha
dc.contributor.other	Camponogara, Eduardo
dc.contributor.other	Santos, Elder
dc.contributor.other	Furtado, Olinto José Varela
dc.date.accessioned	2018-02-23T20:38:17Z
dc.date.available	2018-02-23T20:38:17Z
dc.date.issued	2012
dc.identifier.other	1267
dc.identifier.uri	https://repositorio.ufsc.br/handle/123456789/184614
dc.description	TCC (graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Curso de Sistemas de Informação.
dc.description.abstract	Propor melhorias ao Algoritmo de Transformação Dual, que é um algoritmo completo para a resolução do problema da satisfazibilidade booleana.
dc.subject	Satisfazibilidade
dc.subject	SAT
dc.subject	Algoritmo de Transformacao Dual
dc.subject	melhorias
dc.title	Melhoramentos para o Algoritmo de Transformação Dual
dc.type	TCCgrad

Files	Size	Format	View
monografia.pdf.1	657.7Kb	Unknown	View/Open