\"Um resolvedor SAT paralelo com BSP sobre uma grade\"

Detalhes bibliográficos
Autor(a) principal: Lima, Fernando Correa
Data de Publicação: 2007
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03062007-144527/
Resumo: 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
id USP_2e52f29f3752f3d25652c3af8a82f5b5
oai_identifier_str oai:teses.usp.br:tde-03062007-144527
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling \"Um resolvedor SAT paralelo com BSP sobre uma grade\"\"Um resolvedor SAT paralelo com BSP sobre uma grade\"artificial inteligenceBSPdpllgrade computacionalinteligencia artificiallogiclogicasatO 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 implementadoO 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 implementadoBiblioteca Digitais de Teses e Dissertações da USPFinger, MarceloLima, Fernando Correa2007-03-23info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/45/45134/tde-03062007-144527/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2016-07-28T16:09:51Zoai:teses.usp.br:tde-03062007-144527Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212016-07-28T16:09:51Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv \"Um resolvedor SAT paralelo com BSP sobre uma grade\"
\"Um resolvedor SAT paralelo com BSP sobre uma grade\"
title \"Um resolvedor SAT paralelo com BSP sobre uma grade\"
spellingShingle \"Um resolvedor SAT paralelo com BSP sobre uma grade\"
Lima, Fernando Correa
artificial inteligence
BSP
dpll
grade computacional
inteligencia artificial
logic
logica
sat
title_short \"Um resolvedor SAT paralelo com BSP sobre uma grade\"
title_full \"Um resolvedor SAT paralelo com BSP sobre uma grade\"
title_fullStr \"Um resolvedor SAT paralelo com BSP sobre uma grade\"
title_full_unstemmed \"Um resolvedor SAT paralelo com BSP sobre uma grade\"
title_sort \"Um resolvedor SAT paralelo com BSP sobre uma grade\"
author Lima, Fernando Correa
author_facet Lima, Fernando Correa
author_role author
dc.contributor.none.fl_str_mv Finger, Marcelo
dc.contributor.author.fl_str_mv Lima, Fernando Correa
dc.subject.por.fl_str_mv artificial inteligence
BSP
dpll
grade computacional
inteligencia artificial
logic
logica
sat
topic artificial inteligence
BSP
dpll
grade computacional
inteligencia artificial
logic
logica
sat
description 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
publishDate 2007
dc.date.none.fl_str_mv 2007-03-23
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03062007-144527/
url http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03062007-144527/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1809090336809549824