Loading...
Please wait, while we are loading the content...
Similar Documents
Análise de desempenho de algoritmos para o problema da satisfatibilidade booleana
| Content Provider | Semantic Scholar |
|---|---|
| Author | Lasmar, Fernanda Akl Faria |
| Copyright Year | 2015 |
| Abstract | 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 analise comparativa e 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. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://repositorio.ufla.br/jspui/bitstream/1/5177/1/MONOGRAFIA_Analise_de_desempenho_de_algoritmos_para_o_problema_da_satisfatibilidade_booleana.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |