Disertación de Maestría
DOI
https://doi.org/10.11606/D.45.2007.tde-03062007-144527
Documento
Autor
Nombre completo
Fernando Correa Lima
Dirección Electrónica
Instituto/Escuela/Facultad
Área de Conocimiento
Fecha de Defensa
Publicación
São Paulo, 2007
Director
Tribunal
Finger, Marcelo (Presidente)
Bittencourt, Guilherme
Lejbman, Alfredo Goldman Vel
Bittencourt, Guilherme
Lejbman, Alfredo Goldman Vel
Título en portugués
"Um resolvedor SAT paralelo com BSP sobre uma grade"
Palabras clave en portugués
artificial inteligence
BSP
dpll
grade computacional
inteligencia artificial
logic
logica
sat
BSP
dpll
grade computacional
inteligencia artificial
logic
logica
sat
Resumen en 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 en portugués
"Um resolvedor SAT paralelo com BSP sobre uma grade"
Palabras clave en portugués
artificial inteligence
BSP
dpll
grade computacional
inteligencia artificial
logic
logica
sat
BSP
dpll
grade computacional
inteligencia artificial
logic
logica
sat
Resumen en 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
ADVERTENCIA - La consulta de este documento queda condicionada a la aceptación de las siguientes condiciones de uso:
Este documento es únicamente para usos privados enmarcados en actividades de investigación y docencia. No se autoriza su reproducción con finalidades de lucro. Esta reserva de derechos afecta tanto los datos del documento como a sus contenidos. En la utilización o cita de partes del documento es obligado indicar el nombre de la persona autora.
Este documento es únicamente para usos privados enmarcados en actividades de investigación y docencia. No se autoriza su reproducción con finalidades de lucro. Esta reserva de derechos afecta tanto los datos del documento como a sus contenidos. En la utilización o cita de partes del documento es obligado indicar el nombre de la persona autora.
dissertacao.pdf (250.13 Kbytes)
Fecha de Publicación
2011-05-12
ADVERTENCIA: Aprenda que son los trabajos derivados haciendo clic aquí.
Todos los derechos de la tesis/disertación pertenecen a los autores
CeTI-SC/STI
Biblioteca Digital de Tesis y Disertaciones de la USP. Copyright © 2001-2024. Todos los derechos reservados.
CeTI-SC/STI
Biblioteca Digital de Tesis y Disertaciones de la USP. Copyright © 2001-2024. Todos los derechos reservados.