Análise de desempenho de algoritmos para o problema da satisfatibilidade booleana

Página do item simplificado
dc.contributor.advisor1Uchôa, Joaquim Quinteiro
dc.contributor.referee1Castro, Cristiano Leite de
dc.contributor.referee1Schneider, Bruno de Oliveira
dc.creatorLasmar, Fernanda Akl Faria
dc.date.accessioned2015-03-17T13:09:45Z
dc.date.available2015-03-17T13:09:45Z
dc.date.issued2015-03-17
dc.description.abstractThe main objective of this research is to investigate approaches to the problem of Boolean satisfiability, we present some algorithms that address this problem and we looking for ones that have better processing time. A comparison is made between the Davis-Putnam algorithms and DPLL, in order to check the size of the instance that each algorithm can solve in polynomial time.pt_BR
dc.description.resumoEsta pesquisa tem como principal objetivo investigar abordagens aos problemas da satisfatibilidade booleana, apresentando alguns dos algoritmos que abordam esse problema e verificando quais destes possuem melhor tempo de processamento. Uma análise comparativa é feita entre os algoritmos Davis-Putnam e DPLL, com o intuito de verificar o tamanho da instância que cada algoritmo consegue solucionar em tempo polinomial.pt_BR
dc.identifier.citationLASMAR, F. A. F. Análise de desempenho de algoritmos para o problema da satisfatibilidade booleana. 2010. 50 p. Monografia (Graduação em Ciência da Computação) – Universidade Federal de Lavras, Lavras, 2010.pt_BR
dc.identifier.urihttps://repositorio.ufla.br/handle/1/5177
dc.languagept_BRpt_BR
dc.rightsacesso abertopt_BR
dc.subjectSatisfatibilidade booleanapt_BR
dc.subjectDavis-putnampt_BR
dc.subjectDavis-Putnam-Logemann-Lovelandpt_BR
dc.subjectBoolean satisfiabilitypt_BR
dc.titleAnálise de desempenho de algoritmos para o problema da satisfatibilidade booleanapt_BR
dc.typeTCCpt_BR

Arquivos

Pacote original

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
MONOGRAFIA_Analise_de_desempenho_de_algoritmos_para_o_problema_da_satisfatibilidade_booleana.pdf
Tamanho:
586.5 KB
Formato:
Adobe Portable Document Format
Baixar

Licença do pacote

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
license.txt
Tamanho:
953 B
Formato:
Item-specific license agreed upon to submission
Descrição:
Baixar

Coleções

PROGRAD - Ciência da Computação (Trabalhos de Conclusão de Curso)