Please use this identifier to cite or link to this item:
http://repositorio.ufla.br/jspui/handle/1/5177| metadata.teses.dc.title: | Análise de desempenho de algoritmos para o problema da satisfatibilidade booleana |
| metadata.teses.dc.creator: | Lasmar, Fernanda Akl Faria |
| metadata.teses.dc.contributor.advisor1: | Uchôa, Joaquim Quinteiro |
| metadata.teses.dc.contributor.referee1: | Castro, Cristiano Leite de Schneider, Bruno de Oliveira |
| metadata.teses.dc.subject: | Satisfatibilidade booleana Davis-putnam Davis-Putnam-Logemann-Loveland Boolean satisfiability |
| metadata.teses.dc.date.issued: | 17-Mar-2015 |
| metadata.teses.dc.identifier.citation: | 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. |
| metadata.teses.dc.description.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. |
| metadata.teses.dc.description.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. |
| metadata.teses.dc.identifier.uri: | http://repositorio.ufla.br/jspui/handle/1/5177 |
| metadata.teses.dc.language: | pt_BR |
| Appears in Collections: | PROGRAD - Ciência da Computação (Trabalhos de Conclusão de Curso) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| MONOGRAFIA_Analise_de_desempenho_de_algoritmos_para_o_problema_da_satisfatibilidade_booleana.pdf | 586,5 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.