\"Um resolvedor SAT paralelo com BSP sobre uma grade\"
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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Universidade de São Paulo
2007
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/45/45134/tde-03062007-144527/ |