TCC
Análise de desempenho de algoritmos para o problema da satisfatibilidade booleana
Carregando...
Notas
Data
Autores
Orientadores
Editores
Coorientadores
Membros de banca
Título da Revista
ISSN da Revista
Título de Volume
Editor
Faculdade, Instituto ou Escola
Departamento
Programa de Pós-Graduação
Agência de fomento
Tipo de impacto
Áreas Temáticas da Extenção
Objetivos de Desenvolvimento Sustentável
Dados abertos
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.
Descrição
Área de concentração
Agência de desenvolvimento
Palavra chave
Marca
Objetivo
Procedência
Impacto da pesquisa
Resumen
ISBN
DOI
Citação
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.