Dissertação de Mestrado
Documento
Dissertação de Mestrado
Autor
Nome completo
Fernando Correa Lima
E-mail
Unidade da USP
Instituto de Matemática e Estatística
Área do Conhecimento
Data de Defesa
2007-03-23
Imprenta
São Paulo, 2007
Orientador
Finger, Marcelo
(
)
Banca examinadora
Finger, Marcelo (Presidente)
Bittencourt, Guilherme
Lejbman, Alfredo Goldman Vel
Título em português
"Um resolvedor SAT paralelo com BSP sobre uma grade"
Palavras-chave em português
artificial inteligence, BSP, dpll, grade computacional, inteligencia artificial, logic, logica, sat
Resumo em português
O Objetivo deste trabalho foi implementar um resolvedor distribuído para o problema de satisfabilidade em lógica proposicional (SAT) que pudesse ser executado em uma grade de computadores. Foi analisada a influência que o número de máquinas utilizadas pela grade para resolver diversas instâncias do SAT exerce sobre o desempenho do resolvedor implementado
Título em português
"Um resolvedor SAT paralelo com BSP sobre uma grade"
Resumo em português
O Objetivo deste trabalho foi implementar um resolvedor distribuído para o problema de satisfabilidade em lógica proposicional (SAT) que pudesse ser executado em uma grade de computadores. Foi analisada a influência que o número de máquinas utilizadas pela grade para resolver diversas instâncias do SAT exerce sobre o desempenho do resolvedor implementado
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso: Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Data de Publicação
2011-05-12
Trabalhos decorrentes
AVISO: Saiba o que são os trabalhos decorrentes clicando aqui.