SAT Over BOINC: An Application-Independent Volunteer Grid Project.

Michael Black Gregory Bard

Published in: GRID (2011)

Keyphrases

project management
case study
search algorithm
information systems
search strategies
satisfiability problem
grid infrastructure
genetic algorithm
optimal solution
np hard
phase transition
sat solvers
european project
grid points
grid middleware