Buscar

 

RI UFLA (Universidade Federal de Lavras) >
DCC - Departamento de Ciência da Computação >
DCC - Graduação >
DCC - Bacharelado em Ciência da Computação (Monografias) >

Por favor, utilize esse identificador para citar este item ou usar como link: http://repositorio.ufla.br/jspui/handle/1/5177

Título: Análise de desempenho de algoritmos para o problema da satisfatibilidade booleana
Autor(es): Lasmar, Fernanda Akl Faria
Orientador: Uchôa, Joaquim Quinteiro
Membro da banca: Castro, Cristiano Leite de
Schneider, Bruno de Oliveira
Assunto: Satisfatibilidade booleana
Davis-putnam
Davis-Putnam-Logemann-Loveland
Boolean satisfiability
Data de publicação: 17-Mar-2015
Referência: LASMAR, 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.
Resumo: Esta 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.
Abstract: The 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.
URI: http://repositorio.ufla.br/jspui/handle/1/5177
Idioma: pt_BR
Aparece nas coleções: DCC - Bacharelado em Ciência da Computação (Monografias)

Arquivos neste Item:

Arquivo Descrição TamanhoFormato
MONOGRAFIA_Analise_de_desempenho_de_algoritmos_para_o_problema_da_satisfatibilidade_booleana.pdf586,5 kBAdobe PDFVer/abrir

Itens protegidos por copyright, com todos os direitos reservados, Salvo indicação em contrário.


Mostrar estatísticas

 


DSpace Software Copyright © 2002-2007 MIT and Hewlett-Packard - Feedback