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

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorUchôa, Joaquim Quinteiro-
Autor(es): dc.contributorCastro, Cristiano Leite de-
Autor(es): dc.contributorSchneider, Bruno de Oliveira-
Autor(es): dc.creatorLasmar, Fernanda Akl Faria-
Data de aceite: dc.date.accessioned2026-02-09T12:28:18Z-
Data de disponibilização: dc.date.available2026-02-09T12:28:18Z-
Data de envio: dc.date.issued2015-03-17-
Data de envio: dc.date.issued2015-03-17-
Data de envio: dc.date.issued2015-03-17-
Fonte completa do material: dc.identifierhttps://repositorio.ufla.br/handle/1/5177-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/1161952-
Descrição: dc.descriptionThe 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.-
Descrição: dc.descriptionEsta 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.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Direitos: dc.rightsacesso aberto-
Palavras-chave: dc.subjectSatisfatibilidade booleana-
Palavras-chave: dc.subjectDavis-putnam-
Palavras-chave: dc.subjectDavis-Putnam-Logemann-Loveland-
Palavras-chave: dc.subjectBoolean satisfiability-
Título: dc.titleAnálise de desempenho de algoritmos para o problema da satisfatibilidade booleana-
Tipo de arquivo: dc.typeTCC-
Aparece nas coleções:Repositório Institucional da Universidade Federal de Lavras (RIUFLA)

Não existem arquivos associados a este item.