1. RI UFLA
  2. Pró-Reitoria de Graduação - PROGRAD
  3. PROGRAD - Cursos presenciais
  4. PROGRAD - Ciência da Computação (Trabalhos de Conclusão de Curso)
Use este identificador para citar ou linkar para este item: http://repositorio.ufla.br/jspui/handle/1/5177
Registro completo de metadados
Campo DCValorIdioma
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.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.urihttp://repositorio.ufla.br/jspui/handle/1/5177-
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.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
dc.contributor.advisor1Uchôa, Joaquim Quinteiro-
dc.contributor.referee1Castro, Cristiano Leite de-
dc.contributor.referee1Schneider, Bruno de Oliveira-
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
Aparece nas coleções:PROGRAD - Ciência da Computação (Trabalhos de Conclusão de Curso)

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
MONOGRAFIA_Analise_de_desempenho_de_algoritmos_para_o_problema_da_satisfatibilidade_booleana.pdf586,5 kBAdobe PDFVisualizar/Abrir
Mostrar registro simples do item Recomendar este item Visualizar estatísticas


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.