Dissertação de Mestrado
DOI
https://doi.org/10.11606/D.45.2007.tde-03062007-144527
Documento
Autor
Nome completo
Fernando Correa Lima
E-mail
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Paulo, 2007
Orientador
Banca examinadora
Finger, Marcelo (Presidente)
Bittencourt, Guilherme
Lejbman, Alfredo Goldman Vel
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
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"
Palavras-chave em português
artificial inteligence
BSP
dpll
grade computacional
inteligencia artificial
logic
logica
sat
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
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.
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.
dissertacao.pdf (250.13 Kbytes)
Data de Publicação
2011-05-12
AVISO: Saiba o que são os trabalhos decorrentes clicando aqui.
Todos os direitos da tese/dissertação são de seus autores
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2024. Todos os direitos reservados.
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2024. Todos os direitos reservados.