Mémoire de Maîtrise
DOI
https://doi.org/10.11606/D.45.2007.tde-03062007-144527
Document
Auteur
Nom complet
Fernando Correa Lima
Adresse Mail
Unité de l'USP
Domain de Connaissance
Date de Soutenance
Editeur
São Paulo, 2007
Directeur
Jury
Finger, Marcelo (Président)
Bittencourt, Guilherme
Lejbman, Alfredo Goldman Vel
Bittencourt, Guilherme
Lejbman, Alfredo Goldman Vel
Titre en portugais
"Um resolvedor SAT paralelo com BSP sobre uma grade"
Mots-clés en portugais
artificial inteligence
BSP
dpll
grade computacional
inteligencia artificial
logic
logica
sat
BSP
dpll
grade computacional
inteligencia artificial
logic
logica
sat
Resumé en portugais
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
Titre en portugais
"Um resolvedor SAT paralelo com BSP sobre uma grade"
Mots-clés en portugais
artificial inteligence
BSP
dpll
grade computacional
inteligencia artificial
logic
logica
sat
BSP
dpll
grade computacional
inteligencia artificial
logic
logica
sat
Resumé en portugais
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
AVERTISSEMENT - Regarde ce document est soumise à votre acceptation des conditions d'utilisation suivantes:
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
Ce document est uniquement à des fins privées pour la recherche et l'enseignement. Reproduction à des fins commerciales est interdite. Cette droits couvrent l'ensemble des données sur ce document ainsi que son contenu. Toute utilisation ou de copie de ce document, en totalité ou en partie, doit inclure le nom de l'auteur.
dissertacao.pdf (250.13 Kbytes)
Date de Publication
2011-05-12
AVERTISSEMENT: Apprenez ce que sont des œvres dérivées cliquant ici.
Tous droits de la thèse/dissertation appartiennent aux auteurs
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2024. Tous droits réservés.
CeTI-SC/STI
Bibliothèque Numérique de Thèses et Mémoires de l'USP. Copyright © 2001-2024. Tous droits réservés.